David Mentré

Latest

• SysML2B: Automatic Tool for B Project Graphical Architecture Design Using SysML
• 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