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