E. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith, Counterexample-Guided Abstraction Refinement, 12th International Conference on Computer Aided Verification, pp.154-169, 2000.
DOI : 10.1109/time.2003.1214874

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

D. Engler, Static Analysis Versus Model Checking for Bug Finding, 16th International Conference on Concurrency Theory, CONCUR 2005, 2005.
DOI : 10.1007/11539452_1

T. Ball, V. Levin, and S. K. Rajamani, A decade of software model checking with SLAM, Communications of the ACM, vol.54, issue.7, pp.68-76, 2011.
DOI : 10.1145/1965724.1965743

D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, The software model checker Blast, International Journal on Software Tools for Technology Transfer, vol.2, issue.4, pp.505-525, 2007.
DOI : 10.1007/978-1-4757-3540-6

A. Gurfinkel, O. Wei, and M. Chechik, Yasm: A Software Model-Checker for Verification and Refutation, 18th International Conference Computer Aided Verification, CAV '06, pp.170-174, 2006.
DOI : 10.1007/11817963_18

H. Casanova, A. Giersch, A. Legrand, M. Quinson, and F. Suter, Versatile, scalable, and accurate simulation of distributed applications and platforms, Journal of Parallel and Distributed Computing, vol.74, issue.10, pp.2899-2917, 2014.
DOI : 10.1016/j.jpdc.2014.06.008

URL : https://hal.archives-ouvertes.fr/hal-01017319

S. Merz, M. Quinson, C. Rosa, and M. Simgrid, Verification Support for a Multi-API Simulation Platform, Joint 13th IFIP International Conference on Formal Techniques for Distributed Systems, pp.274-288, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00593505

H. Saissi, P. Bokor, C. A. Muftuoglu, N. Suri, and M. Serafini, Efficient Verification of Distributed Protocols Using Stateful Model Checking, 2013 IEEE 32nd International Symposium on Reliable Distributed Systems, pp.133-142, 2013.
DOI : 10.1109/SRDS.2013.22

G. Holzmann, An analysis of bitstate hashing, Formal Methods in System Design, vol.13, issue.3, pp.289-307, 1998.
DOI : 10.1007/978-0-387-34892-6_19

B. Cook, A. Podelski, and A. Rybalchenko, Proving program termination, Communications of the ACM, vol.54, issue.5, pp.88-98, 2011.
DOI : 10.1145/1941487.1941509

K. Havelund and T. Pressburger, Model checking JAVA programs using JAVA PathFinder, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.4, pp.366-381, 2000.
DOI : 10.1007/s100090050043

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

P. Fonseca, C. Li, and R. Rodrigues, Finding complex concurrency bugs in large multi-threaded applications, Proceedings of the sixth conference on Computer systems, EuroSys '11, pp.215-228, 2011.
DOI : 10.1145/1966445.1966465

R. Iosif, Symmetry reductions for model checking of concurrent dynamic software, International Journal on Software Tools for Technology Transfer, vol.20, issue.4, pp.302-319, 2004.
DOI : 10.1145/271510.271517

URL : https://hal.archives-ouvertes.fr/hal-01418878

R. Bagnara, P. M. Hill, A. Pescetti, and E. Zaffanella, On the Design of Generic Static Analyzers for Modern Imperative Languages, p.arXiv preprint, 2008.

K. Dudka, P. Müller, P. Peringer, and T. Vojnar, Predator: A Tool for Verification of Low-Level List Manipulation, 19th International Conference Tools and Algorithms for the Construction and Analysis of Systems, Held as Part of the European Joint Conferences on Theory and Practice of Software , TACAS / ETAPS 2013, pp.627-629, 2013.
DOI : 10.1007/978-3-642-36742-7_49

S. Falke, D. Kapur, and C. Sinz, Termination Analysis of C Programs Using Compiler Intermediate Languages, 22nd International Conference on Rewriting Techniques and Applications (RTA'11) of Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl? Leibniz-Zentrum fuer Informatik, pp.41-503123, 2011.

C. Alias, A. Darte, P. Feautrier, and L. Gonnord, Rank: A Tool to Check Program Termination and Computational Complexity, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops, pp.238-238, 2013.
DOI : 10.1109/ICSTW.2013.75

URL : https://hal.archives-ouvertes.fr/hal-00801571

N. H. Aan-de-brugh, V. Y. Nguyen, and T. C. Ruys, MoonWalker: Verification of .NET Programs, 15th International Conference Tools and Algorithms for the Construction and Analysis of Systems, Held as Part of the Joint European Conferences on Theory and Practice of Software, pp.170-173, 2009.
DOI : 10.1007/11901433_9

G. Gopalakrishnan, R. M. Kirby, S. Siegel, R. Thakur, W. Gropp et al., Formal analysis of MPI-based parallel programs, Communications of the ACM, vol.54, issue.12, pp.82-91, 2011.
DOI : 10.1145/2043174.2043194

G. Luecke, H. Chen, J. Coyle, J. Hoekstra, M. Kraeva et al., MPI-CHECK: a tool for checking Fortran 90 MPI programs, Concurrency and Computation: Practice and Experience, vol.15, issue.2, pp.93-100, 2003.
DOI : 10.1002/cpe.705

R. Palmer, S. Barrus, Y. Yang, G. Gopalakrishnan, and R. M. Kirby, Gauss: A Framework for Verifying Scientific Computing Software, proceedings of the Workshop on Software Model Checking, pp.95-106, 2005.
DOI : 10.1016/j.entcs.2006.01.007

S. F. Siegel, Model Checking Nonblocking MPI Programs, 8th International Conference Verification, Model Checking, and Abstract Interpretation , VMCAI'07, pp.44-58, 2007.
DOI : 10.1007/978-3-540-69738-1_3

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

T. Andrews, S. Qadeer, S. K. Rajamani, J. Rehof, and Y. Xie, Zing: A Model Checker for Concurrent Software, 16th International Conference Computer Aided Verification, pp.484-487, 2004.
DOI : 10.1007/978-3-540-27813-9_42

G. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, 2003.
DOI : 10.1109/32.588521

A. Vo, S. Vakkalanka, M. Delisi, G. Gopalakrishnan, R. M. Kirby et al., Formal verification of practical MPI programs, ACM SIGPLAN Notices, vol.44, issue.4, pp.261-270, 2009.
DOI : 10.1145/1594835.1504214

A. Vo, S. Aananthakrishnan, G. Gopalakrishnan, B. R. Supinski, M. Schulz et al., A Scalable and Distributed Dynamic Formal Verifier for MPI Programs, 2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis, pp.2010-2011, 2010.
DOI : 10.1109/SC.2010.7

D. H. Ahn, G. L. Lee, G. Gopalakrishnan, Z. Rakamari´crakamari´c, M. Schulz et al., Overcoming extreme-scale reproducibility challenges through a unified, targeted, and multilevel toolset, Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering, SE-HPCCSE '13, pp.41-44, 2013.
DOI : 10.1145/2532352.2532357