Accéder directement au contenu

David Delahaye

3
Documents
Identifiants chercheurs

Présentation

Publications

35708
Image document

Integrating Simplex with Tableaux

Guillaume Bury , David Delahaye
Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2015, Wrowlaw, Poland. pp.86-101, ⟨10.1007/978-3-319-24312-2_7⟩
Communication dans un congrès hal-01215490v1
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