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://www.aladdin.cs.cmu.edu/papers/pdfs/y2000/counterex.pdf

D. Engler, Static Analysis Versus Model Checking for Bug Finding, pp.1-1, 2005.
DOI : 10.1007/11539452_1

T. Ball, V. Levin, and S. K. Rajamani, A Decade of Software Model Checking with SLAM, pp.68-76, 2011.
DOI : 10.1145/1965724.1965743

D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, The Software Model Checker Blast: Applications to Software Engineering, pp.505-525, 2007.
DOI : 10.1007/s10009-007-0044-z

A. Gurfinkel, O. Wei, and M. Chechik, 18th International Conference Computer Aided Verification, CAV '06, pp.170-174, 2006.

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. C. Simgrid, Verification Support for a Multi-API Simulation Platform, Joint 13th IFIP International Conference on Formal Techniques for Distributed Systems, pp.274-288, 2011.
DOI : 10.1007/978-3-642-21461-5_18

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, in: 32nd International Symposium on Reliable Distributed Systems, pp.133-142, 2013.

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

URL : http://spinroot.com/gerard/pdf/fmsd98.pdf

B. Cook, A. Podelski, and A. Rybalchenko, Proving Program Termination, Communications of the ACM, pp.88-98, 2011.
DOI : 10.1145/1941487.1941509

URL : http://dl.acm.org/ft_gateway.cfm?id=1941509&type=pdf

C. E. Killian, J. W. Anderson, R. Braud, R. Jhala, and A. M. Vahdat, Mace: Language Support for Building Distributed Systems, Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '07, pp.179-188, 2007.
DOI : 10.1109/p2p.2009.5284502

K. Havelund and T. Pressburger, Model Checking Java Programs using Java PathFinder, International Journal on Software Tools for Technology Transfer, vol.2, issue.4, pp.366-381, 2000.
DOI : 10.1007/s100090050043

URL : http://ase.arc.nasa.gov/havelund/Publications/jpf-sttt.ps.Z

P. Fonseca, C. Li, and R. Rodrigues, Finding Complex Concurrency Bugs in Large Multi-threaded Applications, pp.215-228, 2011.

R. Iosif, Symmetry Reductions for Model Checking of Concurrent Dynamic Software, International Journal on Software Tools for Technology Transfer, vol.6, issue.4, pp.302-319, 2004.
DOI : 10.1007/s10009-004-0154-9

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

P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné et al., 14th European Symposium on Programming Languages and Systems, Held as Part of the Joint European Conferences on Theory and Practice of Software, ESOP / ETAPS 2005, pp.21-30, 2005.

R. Bagnara, P. M. Hill, A. Pescetti, and E. Zaffanella, On the Design of Generic Static Analyzers for Modern Imperative Languages, 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

E. Clarke, D. Kroening, and F. Lerda, 10th 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, TACAS / ETAPS, pp.168-176, 2004.

S. Falke, D. Kapur, and C. Sinz, niz International Proceedings in Informatics (LIPIcs), Schloss DagstuhlLeibniz-Zentrum fuer Informatik, vol.10, pp.41-50, 2011.

C. Alias, A. Darte, P. Feautrier, and L. Gonnord, Rank: a tool to check program termination and computational complexity, IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013, pp.238-238, 2013.
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.

G. Gopalakrishnan, R. M. Kirby, S. Siegel, R. Thakur, W. Gropp et al., Formal Analysis of MPIbased Parallel Programs, Communication 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., MPICHECK: 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, vol.144, pp.95-106, 2005.
DOI : 10.1016/j.entcs.2006.01.007

URL : https://doi.org/10.1016/j.entcs.2006.01.007

S. F. Siegel, Model Checking Nonblocking MPI Programs, in: 8th International Conference Verification, Model Checking, and Abstract Interpretation, VMCAI'07, pp.44-58, 2007.

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, CAV'04, pp.484-487, 2004.
DOI : 10.1007/978-3-540-27813-9_42

G. Holzmann, the Spin Model Checker: Primer and Reference Manual, 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, SIGPLAN Notices, vol.44, issue.4, pp.261-270, 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, SC'10, pp.1-10, 2010.

D. H. Ahn, G. L. Lee, G. Gopalakrishnan, Z. Rakamari´crakamari´c, M. Schulz et al., 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering, pp.41-44, 2013.

Y. Yang, X. Chen, G. Gopalakrishnan, and R. M. Kirby, Efficient Stateful Dynamic Partial Order Reduction, Model Checking Software: 15th International SPIN Workshop, 2008.
DOI : 10.1007/978-3-540-85114-1_20

URL : http://spinroot.com/spin/Workshops/ws08/spin2008_submission_33.pdf

, Proceedings, pp.288-305, 2008.