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 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 DBLP: Berkani:Karim

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

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.