Let's Verify This with Why3 - Inria - Institut national de recherche en sciences et technologies du numérique
Journal Articles International Journal on Software Tools for Technology Transfer Year : 2015

Let's Verify This with Why3

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.
Fichier principal
Vignette du fichier
main.pdf (360.25 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-00967132 , version 1 (28-03-2014)

Identifiers

Cite

François Bobot, Jean-Christophe Filliâtre, Claude Marché, Andrei Paskevich. Let's Verify This with Why3. International Journal on Software Tools for Technology Transfer, 2015, 17 (6), pp.709-727. ⟨10.1007/s10009-014-0314-5⟩. ⟨hal-00967132⟩
1838 View
2641 Download

Altmetric

Share

More