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

C. Flanagan and P. Godefroid, Dynamic partial-order reduction for model checking software, p.5, 2005.

P. Godefroid, Model checking for progamming languages using Verisoft, 24th ACM Symposium on Principles of Programming Languages, 1997.

G. Holzmann, The model checker spin. Software Engineering, IEEE Transactions on, vol.23, 1997.

C. Killian, J. 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, 2007.

S. Merz, M. Quinson, and C. Rosa, SimGrid MC: Verification Support for a Multi-API Simulation Platform, 31st IFIP International Conference on Formal Techniques for Networked and Distributed Systems, 2011.
DOI : 10.1145/964723.383071
URL : https://hal.archives-ouvertes.fr/inria-00593505

M. Musuvathi, D. Y. Park, A. Chou, D. R. Engler, and D. L. Dill, CMC, Proceedings Fifth Symp. Operating Systems Design and Implementation, 2002.
DOI : 10.1145/844128.844136

W. Visser, K. Havelund, G. Brat, and S. Park, Model checking programs, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, 2000.
DOI : 10.1109/ASE.2000.873645