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

G. V. Chockler, I. Keidar, and R. Vitenberg, Group communication specifications: a comprehensive study, ACM Computing Surveys, vol.33, issue.4, pp.427-469, 2001.
DOI : 10.1145/503112.503113

C. Flanagan and P. Godefroid, Dynamic partial-order reduction for model checking software, ACM SIGPLAN Notices, vol.40, issue.1, pp.110-121, 2005.
DOI : 10.1145/1047659.1040315

URL : http://escholarship.org/uc/item/47c9f29c.pdf

P. Godefroid, Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem, 1996.
DOI : 10.1007/3-540-60761-7

T. Hoefler, C. Siebert, and A. Lumsdaine, Group Operation Assembly Language - A Flexible Way to Express Collective Communication, 2009 International Conference on Parallel Processing, 2009.
DOI : 10.1109/ICPP.2009.70

C. E. Killian, J. W. Anderson, R. Braud, R. Jhala, and A. M. Vahdat, Mace: language support for building distributed systems, PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, pp.179-188, 2007.
DOI : 10.1109/p2p.2009.5284502

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

L. Lamport, Specifying Systems, 2002.

R. Palmer, G. Gopalakrishnan, and R. M. Kirby, Semantics driven dynamic partialorder reduction of mpi-based parallel programs, PADTAD '07: Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging, pp.43-53, 2007.

S. Pervez, G. Gopalakrishnan, R. M. Kirby, R. Palmer, and R. Thakur, Practical Model-Checking Method for Verifying Correctness of MPI Programs, EuroPVM/MPI, pp.344-353, 2007.
DOI : 10.1007/978-3-540-75416-9_46

J. Yang, T. Chen, M. Wu, Z. Xu, X. Liu et al., Modist: transparent model checking of unmodified distributed systems, NSDI'09: Proceedings of the 6th USENIX symposium on Networked systems design and implementation, pp.213-228, 2009.