Automated Deduction and Formal Methods
No abstract available.
Related papers
- Software Engineering Methods for AI-Driven Deductive Legal Reasoning Onward! 2024
- A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs OOPSLA 2026
- Modularity for decidability of deductive verification with applications to distributed systems PLDI 2018
- An Automated Deductive Verification Framework for Circuit-building Quantum Programs ESOP 2021
- Cameleer: A Deductive Verification Tool for OCaml CAV 2021
- Ivy: A Multi-modal Verification Tool for Distributed Algorithms CAV 2020
- Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier OOPSLA 2023
- Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant POPL 2015