Bi-abductive Resource Invariant Synthesis
Abstract elided by the publisher.
Related papers
- Maximal Quantified Precondition Synthesis for Linear Array Loops ESOP 2024
- Synthesis of Circular Compositional Program Proofs via Abduction TACAS 2013
- Synthesis of Resource Invariants for Concurrent Programs TOPLAS 1980
- Synthesis of Resource Invariants for Concurrent Programs POPL 1979
- Inductive invariant generation via abductive inference OOPSLA 2013
- Resource-sensitive synchronization inference by abduction POPL 2012
- Maximal specification synthesis POPL 2016
- Proof-Directed Parallelization Synthesis by Separation Logic TOPLAS 2013