Proofs on Inductive Predicates in Why3 - Archive ouverte HAL
Communication Dans Un Congrès Année : 2024

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

Partager

More