Methods
Conferences
Case Studies
Publications
Keynotes
Committee
David Déharbe
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 Verification of PLC Programs Using the B Method
SMT Solvers for Rodin
Applying the B Method for the Rigorous Development of Smart Card Applications
Automatic Verification for a Class of Proof Obligations with SMT-Solvers
BSmart: A Tool for the Development of Java Card Applications with the B Method
Cite
×