Let's Verify This with Why3 - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue International Journal on Software Tools for Technology Transfer Année : 2015

Let's Verify This with Why3

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

Citer

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 Consultations
2449 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More