Travelled to:1 × Canada
1 × United Kingdom
1 × Uruguay
Collaborated with:M.Jacquel K.Berkani C.Dubois J.Étienne V.Donzeau-Gouge
Talks about:use (3) theorem (2) proof (2) autom (2) rule (2) superdeduct (1) tableaux (1) environ (1) certifi (1) airport (1)
Person: David Delahaye
DBLP: Delahaye:David
Contributed to:
2012
2011
2006Wrote 3 papers:
- IJCAR-2012-JacquelBDD #automation #deduction #modulo theories #proving #theorem proving #using #verification
- Tableaux Modulo Theories Using Superdeduction — An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover (MJ, KB, DD, CD), pp. 332–338.
- SEFM-2011-JacquelBDD #automation #proving #theorem proving #using #verification
- Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving (MJ, KB, DD, CD), pp. 253–268.
- FM-2006-DelahayeED #security #using
- Certifying Airport Security Regulations Using the Focal Environment (DD, JFÉ, VDG), pp. 48–63.