Mélanie Jacquel

According to our database, Mélanie Jacquel authored at least 5 papers between 2011 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2015

Tableaux Modulo Theories Using Superdeduction.

Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois

CoRR, 2015

Recovering Intuition from Automated Formal Proofs using Tableaux with Superdeduction.

David Delahaye, Mélanie Jacquel

CoRR, 2015

2013

Automatisation des preuves pour la vérification des règles de l'Atelier B. (Proof Automation for Atelier B Rules Verification).

Mélanie Jacquel

PhD thesis, 2013

2012

Tableaux Modulo Theories Using Superdeduction - An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover.

Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011

Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving.

Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011