Proofs on Inductive Predicates in Why3 - Laboratoire Méthodes Formelles
Communication Dans Un Congrès Année : 2024

Proofs on Inductive Predicates in Why3

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
slides-pp.pdf (2.43 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Jean-Christophe Filliâtre  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04734466

Soumis le : lundi 14 octobre 2024-09:30:32

Dernière modification le : jeudi 28 novembre 2024-15:48:02

Télécharger pour visualiser

Dates et versions

hal-04734466 , version 1 (14-10-2024)

Identifiants

  • HAL Id : hal-04734466 , version 1

Citer

Jean-Christophe Filliâtre, Andrei Paskevich, Henri Saudubray. Proofs on Inductive Predicates in Why3. Big Specification: Specification, Proof, and Testing at Scale, Neel Krishnaswami, Peter Sewell, Natarajan Shankar, Oct 2024, Cambridge, United Kingdom. ⟨hal-04734466⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-CACHAN CENTRALESUPELEC INRIA2 UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
34 Consultations
27 Téléchargements

Partager

More