S. Parosh-aziz-abdulla, B. Aronis, and K. F. Jonsson, Sagonas, « Optimal dynamic partial order reduction, 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014.

E. Albert, P. Arenas, M. Garcia-de-la, M. Banda, P. J. Gómez-zamalloa et al., « Context-Sensitive Dynamic Partial Order Reduction, Computer Aided Verification -29th International Conference, 2017.

E. Albert, M. Gómez-zamalloa, M. Isabel, and A. Rubio, « Constrained Dynamic Partial Order Reduction, 30th International Conference on Computer Aided Verification, 2018.

A. Armando, J. Mantovani, and L. Platania, « Bounded model checking of software using SMT solvers instead of SAT solvers, STTT 11, 2009.

S. Aronis, B. Jonsson, M. Lång, and K. Sagonas, « Optimal Dynamic Partial Order Reduction with Observers" », in: Tools and Algorithms for the Construction and Analysis of Systems, 2018.

C. Baier and J. Katoen, Principles of model checking, 2008.

A. Biere, Handbook of Satisfiability, 2009.

S. Böhm, O. Meca, and P. Jancar, « State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI, Formal Methods -21st International Symposium, 2016.

H. Casanova, A. Legrand, M. Quinson, and . Simgrid, A Generic Framework for Large-Scale Distributed Experiments, Tenth International Conference on Computer Modeling and Simulation, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00260697

E. Edmund-melson-clarke and . Emerson, « Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic, 25 Years of Model Checking -History, Achievements, Perspectives, 2008.

O. Edmund-melson-clarke, S. Grumberg, Y. Jha, H. Lu, . Veith et al., Guided Abstraction Refinement, Computer Aided Verification, 12th International Conference, CAV, Proceedings, 2000.

O. Edmund-melson-clarke, D. E. Grumberg, and . Long, Proceedings of the 19th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992.

A. Degomme, A. Legrand, G. S. Markomanolis, M. Quinson, M. Stillwell et al., The SMPI Approach, vol.28, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01415484

C. Flanagan and P. Godefroid, « Dynamic partial-order reduction for model checking software, Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, vol.40, 2005.

, MPI: A Message-Passing Interface Standard, tech. rep, 1994.

P. Godefroid, « Model Checking for Programming Languages using Verisoft, Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, 1997.

P. Godefroid, Partial-Order Methods for the Verification of Concurrent Systems -An Approach to the State-Explosion Problem, Lecture Notes in Computer Science, vol.1032, pp.3-540, 1996.

P. Godefroid and D. Pirottin, « Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract), Proc. Computer Aided Verification, 5th International Conference, 1993.

G. Gopalakrishnan, R. M. Kirby, S. Siegel, R. Thakur, W. Gropp et al., Martin Schulz, and Greg Bronevetsky, « Formal Analysis of MPI-based Parallel Programs, Communication of the ACM 54, vol.12, pp.1-0782, 2011.

M. Guthmuller, G. Corona, and M. Quinson, « System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications, 2015.

A. Hall, Seven Myths of Formal Methods, vol.7, pp.740-7459, 1990.

T. Hilbrich, M. Schulz, R. Bronis, M. S. De-supinski, «. Müller et al., A Scalable Approach to Runtime Error Detection in MPI Programs, Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, pp.978-981, 2010.

D. Khanna and S. Sharma, César Rodríguez, and Rahul Purandare, « Dynamic Symbolic Verification of MPI Programs, 22nd International Symposium on Formal Methods, FM'18, 2018.

D. Khanna and S. Sharma, César Rodríguez, and Rahul Purandare, « Dynamic Symbolic Verification of MPI Programs, 22nd International Symposium on Formal Methods, 2018.

R. Kowalewski, K. Fürlinger, -. Nasty, and . Mpi, Debugging Synchronization Errors in MPI-3 One-Sided Applications, Euro-Par 2016: Parallel Processing: 22nd International Conference on Parallel and Distributed Computing, 2016.

B. Krammer, K. Bidmon, M. S. Müller, M. M. Resch, and «. Marmot, An MPI analysis and checking tool, Advances in Parallel Computing, vol.13, pp.493-500, 2004.

C. Rodríguez, M. Sousa, and S. Sharma, Daniel Kroening, « Unfoldingbased Partial Order Reduction, 26th International Conference on Concurrency Theory, 2015.

L. Lamport, Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers, pp.0-3211, 2002.

K. Mcmillan, Symbolic Model Checking, p.792393805, 1993.

W. Visser and P. C. Mehlitz, Proceedings of Model Checking Software, 12th International SPIN Workshop, 2005.

S. Merz, M. Quinson, C. Rosa, and M. C. Simgrid, Verification Support for a Multi-API Simulation Platform, Formal Techniques for Distributed Systems -Joint 13th IFIP WG 6.1 International Conference, FMOODS, and 31st IFIP WG 6.1 International Conference, FORTE, Proceedings, Reykjavik, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00593505

M. Musuvathi, Y. W. David, A. Park, D. R. Chou, D. L. Engler et al., A Pragmatic Approach to Model Checking Real Code, 5th Symposium on Operating System Design and Implementation, 2002.

M. Musuvathi, S. Qadeer, T. Ball, and G. Basler, Piramanayagam Arumuga Nainar, and Iulian Neamtiu, « Finding and Reproducing Heisenbugs in Concurrent Programs, 8th USENIX Symposium on Operating Systems Design and Implementation, 2008.

T. T. Huyen, C. Nguyen, M. Rodríguez, C. Sousa, L. Coti et al., 30th International Conference on Computer Aided Verification, 2018.

R. Palmer, S. Barrus, Y. Yang, G. Gopalakrishnan, R. Kirby et al., A Framework for Verifying Scientific Computing Software, Electronic Notes in Theoretical Computer Science, vol.144, issue.3, 2006.

R. Palmer, G. Gopalakrishnan, and R. M. Kirby, « Semantics Driven Dynamic Partial-order Reduction of MPI-based Parallel Programs, Proceedings of the ACM Workshop on Parallel and Distributed Systems: Testing and Debugging, PADTAD '07, 2007.

A. Doron and . Peled, « All from One, One for All: on Model Checking Using Representatives, Computer Aided Verification, 5th International Conference, 1993.

A. The, T. Pham, M. Jéron, and . Quinson, « Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs, Formal Techniques for Distributed Objects, Components, and Systems -39th IFIP WG 6.1 International Conference, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, 2019.

A. The, T. Pham, M. Jéron, and . Quinson, Proceedings of the 1st International Workshop on Software Correctness for HPC Applications, 2017.

J. , P. Queille, and J. Sifakis, « Specification and verification of concurrent systems in CESAR, International Symposium on Programming, p.5

. Colloquium, Proceedings, 1982.

C. Daniel-rosa, S. Merz, and M. Quinson, Simple Model of Communication APIs -Application to Dynamic Partial Order Reduction, 10th International Workshop on Automated Verification of Critical Systems, 2010.

E. Saillard, P. Carribault, D. Barthou, and «. Parcoach, Combining static and dynamic validation of MPI collective communications », in: International Journal of High Performance Computing Applications, 2014.

S. Sharma, G. Gopalakrishnan, and G. Bronevetsky, « A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications, Formal Methods: Foundations and Applications, pp.194-209, 2012.

F. Stephen and . Siegel, Model Checking Nonblocking MPI Programs" », in: 8th International Conference on Verification, Model Checking, and Abstract Interpretation, 2007.

F. Stephen, M. Siegel, Z. Zheng, T. K. Luo, A. V. Zirkel et al., The Concurrency Intermediate Verification Language, Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, 2015.

F. Stephen, T. K. Siegel, and . Zirkel, Automatic Formal Verification of MPIbased Parallel Programs, 2011.

C. R. Spitzer, Digital avionics handbook: development and implementation. Avionics, p.9780849384417, 2007.

A. S. Maarten-van-steen and . Tanenbaum, « A brief introduction to distributed systems, Computing 98, vol.10, pp.1436-5057, 2016.

A. Valmari, « Stubborn sets for reduced state space generation, International Conference on Applications and Theory of Petri Nets, 1989.

A. Vo, S. Aananthakrishnan, G. Gopalakrishnan, R. Bronis, M. De-supinski 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.

A. Vo, S. Sarvani, M. Vakkalanka, G. Delisi, R. M. Gopalakrishnan et al., « Formal Verification of Practical MPI Programs, ACM SIGPLAN Notices, vol.44, 2009.

J. Woodcock and J. Davies, Using Z: Specification, Refinement, and Proof, pp.0-13, 1996.

J. Woodcock, P. G. Larsen, J. Bicarregui, J. Fitzgerald, and . For, Practice and Experience, vol.41, 2009.

J. Yang, T. Chen, M. Wu, Z. Xu, X. Liu et al., Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009.

Y. Yang, X. Chen, G. Gopalakrishnan, and R. M. Kirby, « Distributed dynamic partial order reduction, STTT 12, vol.2, pp.113-122, 2010.