E. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith, Counterexampleguided abstraction refinement, 12th Intl Conf of Computer Aided Verif. (CAV), 2000.

D. Engler, Concur 2005 -concurrency theory, Static Analysis Versus Model Checking for Bug Finding, 2005.

T. Ball, V. Levin, and S. K. Rajamani, A decade of software model checking with SLAM, Communications of the ACM, vol.54, issue.7, 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, 2007.
DOI : 10.1007/s10009-007-0044-z

A. Gurfinkel, O. Wei, and M. Chechik, Yasm: A software modelchecker for verification and refutation, 18th Intl Conf on Computer Aided Verif, 2006.

S. Merz, M. Quinson, and C. Rosa, SimGridMC: Verification Support for a Multi-API Simulation Platform, Intl Conf on Formal Tech for Net and Dist Sys, 2011.

H. Casanova, A. Legrand, and M. Quinson, SimGrid: A Generic Framework for Large-Scale Distributed Experiments, Tenth International Conference on Computer Modeling and Simulation (uksim 2008), 2008.
DOI : 10.1109/UKSIM.2008.28
URL : https://hal.archives-ouvertes.fr/inria-00260697

H. Saissi, P. Bokor, C. A. Muftuoglu, N. Suri, and M. Serafini, Efficient verif of dist protocols using stateful model checking, IEEE Symp on Reliable Dist. Sys, 2013.

G. Holzmann, An analysis of bitstate hashing Proving program termination, Form. Methods Syst. Des. Communications of the ACM, pp.88-98, 1998.

C. Killian, J. Anderson, R. Braud, R. Jhala, and A. M. Vahdat, Mace: language support for building dist. sys, ACM Conf Prog.Lang. Design and Implem, 2007.

K. Havelund and T. Pressburger, Model checking JAVA programs using JAVA PathFinder, International Journal on Software Tools for Technology Transfer (STTT), 2000.
DOI : 10.1007/s100090050043
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.7274

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, 2011.
DOI : 10.1145/1966445.1966465

R. Iosif, Exploiting heap symmetries in explicit-state model checking of software, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), 2001.
DOI : 10.1109/ASE.2001.989811

L. Mauborgne, Astrée: Verification of absence of run-time error, Building the Information Society, 2004.

R. Bagnara, P. M. Hill, A. Pescetti, and E. Zaffanella, On the design of generic static analyzers for modern imperative languages, 2007.

K. Dudka, P. Müller, P. Peringer, and T. Vojnar, Predator: A Tool for Verification of Low-Level List Manipulation, Tools and Algo for the Analysis of Systems, 2013.
DOI : 10.1007/978-3-642-36742-7_49

E. Clarke, D. Kroening, and F. Lerda, A Tool for Checking ANSI-C Programs, Tools and Algorithms for the Construction and Analysis of Systems, 2004.
DOI : 10.1007/978-3-540-24730-2_15

S. Falke, D. Kapur, and C. Sinz, Termination analysis of C programs using compiler intermediate languages, 22nd Intl Conf Rewriting Tech. and Applications, 2011.

G. Andrieu, C. Alias, and L. Gonnord, SToP : Scalable Termination analysis of (C) Programs (tool presentation), 2012.
URL : https://hal.archives-ouvertes.fr/hal-00760926

N. H. De-brugh, V. Y. Nguyen, and T. C. Ruys, MoonWalker: Verification of .NET Programs, Tools and Algo. for the Construction and Analysis of Systems, 2009.
DOI : 10.1007/11901433_9

G. Gopalakrishnan, R. Kirby, S. Siegel, R. Thakur, W. Gropp et al., Formal analysis of MPI-based parallel programs, Communications of the ACM, vol.54, issue.12, 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 scientif comp soft, Electr Notes in Theor Comp Sci, vol.144, issue.3, 2006.

S. F. Siegel, Using mpi-spin to model check mpi programs with nonblocking communication, Recent Advances in PVM / MPI, 2006.

T. Andrews, S. Qadeer, S. Rajamani, J. Rehof, and Y. Xie, Zing: A Model Checker for Concurrent Software, 16th Intl Conf of Computer Aided Verif. (CAV), 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, 1997.
DOI : 10.1109/32.588521

A. Vo, S. Vakkalanka, M. Delisi, G. Gopalakrishnan, R. M. Kirby et al., Formal verification of practical mpi programs, SIGPLAN Not, vol.44, issue.4, 2009.

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, 2010.
DOI : 10.1109/SC.2010.7

W. Chiang, G. Gopalakrishnan, Z. Rakamari´crakamari´c, D. H. Ahn, and G. L. Lee, Determinism and reproducibility in large-scale hpc systems, 4th Works. Determinism and Correctness in Par. Prog. (WoDet), 2013.

Y. Yang, X. Chen, G. Gopalakrishnan, and R. Kirby, Efficient Stateful Dynamic Partial Order Reduction, Model Checking Software, ser. Lecture Notes in Computer Science, 2008.
DOI : 10.1007/978-3-540-85114-1_20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.184.1449