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

J. Gerard and . Holzmann, The model checker spin, IEEE Trans. Softw. Eng, vol.23, issue.5, p.279295, 1997.

C. Edwin-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, p.179188, 2007.

L. Lamport, Specifying Systems, 2002.

M. Musuvathi, Y. W. David, A. Park, D. R. Chou, D. L. Engler et al., CMC, Proceedings of the Fifth Symposium on Operating Systems Design and Implementation, 2002.
DOI : 10.1145/844128.844136

M. Musuvathi and S. Qadeer, Fair stateless model checking, PLDI '08: Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation, p.362371, 2008.
DOI : 10.1145/1375581.1375625
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.119.7407

M. Quinson, GRAS: a Research and Development Framework for Grid and P2P Infrastructures, The 18th IASTED International Conference on Parallel and Distributed Computing and Systems, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00108389

W. Visser and K. Havelund, Model checking programs INRIA Centre de recherche INRIA Nancy ? Grand Est LORIA, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès, Automated Software Engineering Journal, p.312, 2000.