Property-Directed Inference of Universal Invariants or Proving Their Absence
Abstract elided by the publisher.
Related papers
- Property Directed Reachability for Proving Absence of Concurrent Modification Errors VMCAI 2017
- Exploiting Adjoints in Property Directed Reachability Analysis CAV 2023
- Property-directed reachability as abstract interpretation in the monotone theory POPL 2022
- Data-driven inference of representation invariants PLDI 2020
- Spatial Interpolants ESOP 2015
- Compositional may-must program analysis: unleashing the power of alternation POPL 2010
- Property Directed Self Composition CAV 2019
- ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference - (Competition Contribution) TACAS 2019