Property Directed Abstract Interpretation
No abstract available.
Related papers
- Property-directed reachability as abstract interpretation in the monotone theory POPL 2022
- Goal-directed weakening of abstract interpretation results TOPLAS 2007
- Property Directed Polyhedral Abstraction VMCAI 2015
- Property Directed Equivalence via Abstract Simulation CAV 2016
- Composing Bidirectional Programs Monadically ESOP 2019
- Unbounded Scalable Verification Based on Approximate Property-Directed Reachability and Datapath Abstraction CAV 2014
- Analyzing the performance of code-copying virtual machines OOPSLA 2008
- Di- is for Directed: First-Order Directed Type Theory via Dinaturality POPL 2026