Abstract : We present solutions to the three challenges of the VerifyThis competition held at the 18th FM symposium in August 2012. These solutions use the Why3 environment for deductive program verification.
Document type :
Software Tools for Technology Transfer (STTT), Springer, 2015, 17 (6), pp.709-727
Contributor : Claude Marché <>
Submitted on : Friday, March 28, 2014 - 9:22:17 AM
Last modification on : Friday, February 17, 2017 - 4:10:25 PM
Document(s) archivé(s) le : Saturday, June 28, 2014 - 11:00:42 AM
François Bobot, Jean-Christophe Filliâtre, Claude Marché, Andrei Paskevich. Let's Verify This with Why3. Software Tools for Technology Transfer (STTT), Springer, 2015, 17 (6), pp.709-727. <hal-00967132>