Bi-Abduction with Pure Properties for Specification Inference
Abstract elided by the publisher.
Related papers
- Data-driven abductive inference of library specifications OOPSLA 2021
- Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq PLDI 2024
- Maximal specification synthesis POPL 2016
- Resource-sensitive synchronization inference by abduction POPL 2012
- Automated error diagnosis using abductive inference PLDI 2012
- Abductive Inference for Reasoning about Heaps APLAS 2008
- Explain: A Tool for Performing Abductive Inference CAV 2013
- Inferring Incorrectness Specifications for Object-Oriented Programs TACAS 2025