C. Barrett, M. Deters, L. Moura, A. Oliveras, and A. Stump, 6 Years of SMT-COMP, Journal of Automated Reasoning, vol.21, issue.4, pp.1-35, 2012.
DOI : 10.1007/s10817-012-9246-5

D. Beyer, 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

F. Bobot, J. Filliâtre, C. Marché, G. Melquiond, and A. Paskevich, The Why3 platform. LRI, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00822856

T. Bormer, M. Brockschmidt, D. Distefano, G. Ernst, J. Filliâtre et al., 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

M. Dahlweid, M. Moskal, T. Santen, S. Tobies, and W. Schulte, 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

M. Adriano, M. L. Garsia, and . Wachs, A new algorithm for minimum cost binary trees, SIAM J. on Computing, vol.6, issue.4, pp.622-642, 1977.

M. Kaufmann and J. Strother-moore, ACL2 Version 4.3, 2011.
DOI : 10.1007/978-1-4757-3188-0_4

M. Kaufmann, J. Strother-moore, and P. Manolios, Computer-Aided Reasoning: An Approach, 2000.

V. Klebanov, P. Müller, N. Shankar, G. T. Leavens, V. Wüstholz et al., The 1st Verified Software Competition: Experience Report, Proceedings, 17th International Symposium on Formal Methods, 2011.
DOI : 10.1007/978-3-540-71067-7_6

K. Rustan and M. Leino, Dafny: An Automatic Program Verifier for Functional Correctness, pp.348-370, 2010.

W. Reif, G. Schnellhorn, and K. Stenzel, 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

G. Sutcliffe and C. Suttner, The State of CASC, AI Communications, vol.19, issue.1, pp.35-48, 2006.