`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:

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