Property-Driven Partitioning for Abstraction Refinement
Abstract elided by the publisher.
Related papers
- Static analysis with demand-driven value refinement OOPSLA 2019
- A Partition Refinement Algorithm for the pi-Calculus (Extended Abstract) CAV 1996
- Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript ECOOP 2020
- EXPLORER : query- and demand-driven exploration of interprocedural control flow properties OOPSLA 2015
- Lazy abstraction POPL 2002
- Counterexample Driven Refinement for Abstract Interpretation TACAS 2006
- Distributed Coalgebraic Partition Refinement TACAS 2022
- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning CAV 2022