Loop Invariants on Demand
Abstract elided by the publisher.
Related papers
- Data-driven precondition inference with learned features PLDI 2016
- Bolt: on-demand infinite loop escape in unmodified binaries OOPSLA 2012
- Symbolic heap abstraction with demand-driven axiomatization of memory invariants OOPSLA 2010
- Loop Verification with Invariants and Contracts VMCAI 2022
- Loop Invariants from Counterexamples SAS 2017
- Static Detection of Loop-Invariant Data Structures ECOOP 2012
- Expectation Invariants for Probabilistic Program Loops as Fixed Points SAS 2014
- Loop Invariant Symbolic Execution for Parallel Programs VMCAI 2012