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 × United Kingdom
1 × Uruguay
Collaborated with:
K.Berkani D.Delahaye C.Dubois
Talks about:
theorem (2) proof (2) autom (2) rule (2) use (2) superdeduct (1) tableaux (1) verifi (1) theori (1) prover (1)

Person: Mélanie Jacquel

DBLP DBLP: Jacquel:M=eacute=lanie

Contributed to:

IJCAR 20122012
SEFM 20112011

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

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.