6 Years of SMT-COMP, Journal of Automated Reasoning, vol.21, issue.4, pp.1-35, 2012. ,
DOI : 10.1007/s10817-012-9246-5
Tools and Algorithms for the Construction and Analysis of Systems, Competition on Software Verification, pp.504-524, 2012. ,
DOI : 10.1007/978-3-662-46681-0
The Why3 platform. LRI, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00822856
The COST IC0701 Verification Competition, Formal Verification of Object-Oriented Software, Revised Selected Papers Presented at the International Conference, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00789525
VCC: Contract-based modular verification of concurrent C, 2009 31st International Conference on Software Engineering, Companion Volume, pp.429-430, 2009. ,
DOI : 10.1109/ICSE-COMPANION.2009.5071046
A new algorithm for minimum cost binary trees, SIAM J. on Computing, vol.6, issue.4, pp.622-642, 1977. ,
ACL2 Version 4.3, 2011. ,
DOI : 10.1007/978-1-4757-3188-0_4
Computer-Aided Reasoning: An Approach, 2000. ,
The 1st Verified Software Competition: Experience Report, Proceedings, 17th International Symposium on Formal Methods, 2011. ,
DOI : 10.1007/978-3-540-71067-7_6
Dafny: An Automatic Program Verifier for Functional Correctness, pp.348-370, 2010. ,
Proving System Correctness with KIV 3.0, 14th International Conference on Automated Deduction, pp.69-72, 1997. ,
DOI : 10.1007/3-540-63104-6_10
The State of CASC, AI Communications, vol.19, issue.1, pp.35-48, 2006. ,