Accéder directement au contenu

David Delahaye

2
Documents
Identifiants chercheurs

Présentation

Publications

claude-marche
Image document

The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations

David Delahaye , Catherine Dubois , Claude Marché , David Mentré
Abstract State Machines, Alloy, B, VDM, and Z, Jun 2014, Toulouse, France. pp.290-293
Communication dans un congrès hal-00998092v1
Image document

Le projet BWare : une plate-forme pour la vérification automatique d'obligations de preuve B

David Delahaye , Claude Marché , David Mentré
Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, Paris, France
Communication dans un congrès hal-00998094v1