Explain: A Tool for Performing Abductive Inference
Abstract elided by the publisher.
Related papers
- Inductive invariant generation via abductive inference OOPSLA 2013
- Automated error diagnosis using abductive inference PLDI 2012
- Resource-sensitive synchronization inference by abduction POPL 2012
- Abductive Inference for Reasoning about Heaps APLAS 2008
- Bi-Abduction with Pure Properties for Specification Inference APLAS 2013
- JaVerT 2.0: compositional symbolic execution for JavaScript POPL 2019
- Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq PLDI 2024
- Data-driven abductive inference of library specifications OOPSLA 2021