Accéder directement au contenu

David Delahaye

5
Documents
Identifiants chercheurs

Présentation

Publications

damien-doligez
Image document

Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo

 Guillaume Bury , David Delahaye , Damien Doligez , Pierre Halmagrand , Olivier Hermant
LPAR 20 : 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Nov 2015, Suva, Fiji. pp 42-58
Communication dans un congrès hal-01204701v2
Image document

Proof Certification in Zenon Modulo: When Achilles Uses Deduction Modulo to Outrun the Tortoise with Shorter Steps

 David Delahaye , Damien Doligez , Frédéric Gilbert , Pierre Halmagrand , Olivier Hermant
IWIL - 10th International Workshop on the Implementation of Logics - 2013, Dec 2013, Stellenbosch, South Africa
Communication dans un congrès hal-00909688v1
Image document

Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo

 David Delahaye , Damien Doligez , Frédéric Gilbert , Pierre Halmagrand , Olivier Hermant
LPAR - Logic for Programming Artificial Intelligence and Reasoning - 2013, Dec 2013, Stellenbosch, South Africa. pp.274-290, ⟨10.1007/978-3-642-45221-5_20⟩
Communication dans un congrès hal-00909784v1
Image document

Trusted Software within Focal

 Philippe Ayrault , Matthieu Carlier , David Delahaye , Catherine Dubois , Damien Doligez
C&ESAR 2008 - Computer & Electronics Security Applications Rendez-vous, Dec 2008, Rennes, France. pp.162-179
Communication dans un congrès hal-01125667v2
Image document

Zenon: an Extensible Automated Theorem Prover Producing Checkable Proofs

 Richard Bonichon , David Delahaye , Damien Doligez
LPAR 2007 - 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Oct 2007, Yerevan, Armenia. pp.151-165, ⟨10.1007/978-3-540-75560-9_13⟩
Communication dans un congrès inria-00315920v1