`Travelled to:`

1 × Canada

1 × United Kingdom

1 × Uruguay

`Collaborated with:`

M.Jacquel D.Delahaye C.Dubois M.Aiguier P.L.Gall

`Talks about:`

theorem (2) proof (2) autom (2) rule (2) use (2) superdeduct (1) tableaux (1) interact (1) resolut (1) analysi (1)

## Person: Karim Berkani

### DBLP: Berkani:Karim

### 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-AiguierBG #interactive #specification #static analysis
- Feature Specification and Static Analysis for Interaction Resolution (MA, KB, PLG), pp. 364–379.