J. Barnat, L. Brim, and P. Rockai, Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs, Lecture Notes in Computer Science, vol.7226, pp.252-266
DOI : 10.1007/978-3-642-28891-3_25

A. Bauer, M. Leucker, and C. Schallhart, Runtime Verification for LTL and TLTL, ACM Transactions on Software Engineering and Methodology, vol.20, issue.4, pp.1-14, 2011.
DOI : 10.1145/2000799.2000800

D. Beyer and M. E. Keremoglu, CPAchecker: A Tool for Configurable Software Verification, Computer Aided Verification -23rd International Conference, CAV 2011 Proceedings, pp.184-190, 2011.
DOI : 10.1007/978-3-540-31980-1_40

URL : http://www.sosy-lab.org/%7Edbeyer/Publications/2011-CAV.CPAchecker_A_Tool_for_Configurable_Software_Verification.pdf

B. Boyer, K. Corre, A. Legay, and S. Sedwards, PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library, Lecture Notes in Computer Science, vol.8054, pp.160-16410, 2013.
DOI : 10.1007/978-3-642-40196-1_12

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

A. Cimatti, E. M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore et al., NuSMV 2: An OpenSource Tool for Symbolic Model Checking, CAV, volume 2404 of Lecture Notes in Computer Science, pp.359-364
DOI : 10.1007/3-540-45657-0_29

E. Clarke, O. Grumberg, and D. Peled, Model Checking, 1999.

E. M. Clarke and E. A. Emerson, Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic, Logic of Programs, pp.52-71, 1981.
DOI : 10.1007/bfb0025774

C. J. Clopper and E. S. Pearson, THE USE OF CONFIDENCE OR FIDUCIAL LIMITS ILLUSTRATED IN THE CASE OF THE BINOMIAL, Biometrika, vol.26, issue.4, pp.404-413, 1934.
DOI : 10.1093/biomet/26.4.404

Y. Falcone, M. Jaber, T. Nguyen, M. Bozga, and S. Bensalem, Runtime Verification of Component-Based Systems, In SEFM LNCS, vol.15, pp.204-220, 2011.
DOI : 10.1007/978-3-642-16612-9_9

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

T. Gibson-robinson, P. J. Armstrong, A. Boulgakov, and A. W. Roscoe, FDR3 ??? A Modern Refinement Checker for CSP, Lecture Notes in Computer Science, vol.8413, pp.187-201978, 2014.
DOI : 10.1007/978-3-642-54862-8_13

J. Goubault-larrecq and J. Olivain, A smell of orchids Selected Papers, Lecture Notes in Computer Science, vol.5289, pp.1-20, 2008.

G. J. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, pp.279-295, 1997.
DOI : 10.1109/32.588521

C. Jegourel, A. Legay, and S. Sedwards, A Platform for High Performance Statistical Model Checking ??? PLASMA, Lecture Notes in Computer Science, vol.7214, pp.498-503
DOI : 10.1007/978-3-642-28756-5_37

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

C. Jegourel, A. Legay, and S. Sedwards, Importance Splitting for Statistical Model Checking Rare Properties, Computer Aided Verification, pp.576-591, 2013.
DOI : 10.1007/978-3-642-39799-8_38

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

C. Jegourel, A. Legay, and S. Sedwards, An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, pp.143-159, 2014.
DOI : 10.1007/978-3-662-45231-8_11

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

C. Jegourel, A. Legay, S. Sedwards, and L. Traonouez, Distributed verification of rare properties using importance splitting observers, ECEASST, p.72, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01238982

C. Lattner and V. Adve, LLVM: A compilation framework for lifelong program analysis & transformation, International Symposium on Code Generation and Optimization, 2004. CGO 2004., 2004.
DOI : 10.1109/CGO.2004.1281665

A. Legay, S. Sedwards, and L. Traonouez, Plasma Lab: A Modular Statistical Model Checking Platform, ISoLA, pp.77-93
DOI : 10.1007/3-540-45657-0_17

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

G. Rubino and B. Tuffin, Rare Event Simulation using Monte Carlo Methods, 2009.
DOI : 10.1002/9780470745403

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

H. L. Younes, Verification and Planning for Stochastic Processes with Asynchronous Events, 2005.

A. Zaks and R. Joshi, Verifying Multi-threaded C Programs with SPIN, Lecture Notes in Computer Science, vol.5156, pp.325-342, 2008.
DOI : 10.1007/978-3-540-85114-1_22

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