BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Delahaye:David

Contributed to:

IJCAR 20122012
SEFM 20112011
FM 20062006

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.