Proofs on Inductive Predicates in Why3
Domaines
Informatique [cs]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Communication Dans Un Congrès
Année : 2024
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 : dimanche 20 octobre 2024-18:08:17
Dates et versions
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⟩
Collections
15
Consultations
11
Téléchargements