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
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
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
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
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
Model Checking, 1999. ,
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic, Logic of Programs, pp.52-71, 1981. ,
DOI : 10.1007/bfb0025774
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
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
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
A smell of orchids Selected Papers, Lecture Notes in Computer Science, vol.5289, pp.1-20, 2008. ,
The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, pp.279-295, 1997. ,
DOI : 10.1109/32.588521
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
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
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
Distributed verification of rare properties using importance splitting observers, ECEASST, p.72, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01238982
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
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
Rare Event Simulation using Monte Carlo Methods, 2009. ,
DOI : 10.1002/9780470745403
URL : https://hal.archives-ouvertes.fr/hal-00787654
Verification and Planning for Stochastic Processes with Asynchronous Events, 2005. ,
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