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

Mlanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois

Browse the full CADE paper archive.