Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Lilian Burdy
Latest
Existence Proof Obligations for Constraints, Properties and Invariants in Atelier B
Teaching an Old Dog New Tricks - The Drudges of the Interactive Prover in Atelier B
Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project
Cite
×