Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Claude Marché
Latest
The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations
Discharging Proof Obligations from Atelier B Using Multiple Automated Provers
Cite
×