Tableaux Modulo Theories Using Superdeduction

DOI10.1007/978-3-642-31365-3_26zbMath1358.68255arXiv1501.01301OpenAlexW2949125183MaRDI QIDQ2908505

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

Publication date: 5 September 2012

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1501.01301

zbMATH Keywords

verificationtableauxset theoryB methodproof rulesZenonsuperdeduction

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35)

Related Items (1)

First-order automated reasoning with theories: when deduction modulo theory meets practice

Uses Software

• Zenon
• Atelier B

This page was built for publication: Tableaux Modulo Theories Using Superdeduction