Let's Verify This with Why3 - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
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⟩
1716 View
2460 Download

Altmetric

Share

Gmail Facebook X LinkedIn More