Automated mutual explicit induction proof in separation logic

DOI10.1007/978-3-319-48989-6_40zbMath1427.68350arXiv1609.00919MaRDI QIDQ2281658

Wei-Ngan Chin, Siau-Cheng Khoo, Quang-Trung Ta, Ton Chanh Le

Publication date: 3 January 2020

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

Mathematics Subject Classification ID

03B70: Logic in computer science

68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)

Uses Software

• z3
• Infer