A Practical and Complete Approach to Predicate Refinement
Abstract elided by the publisher.
Related papers
- Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement ESOP 2015
- Low-overhead and fully automated statistical debugging with abstraction refinement OOPSLA 2016
- Refinement kinds: type-safe programming with practical type-level computation OOPSLA 2019
- IC3 Modulo Theories via Implicit Predicate Abstraction TACAS 2014
- Refining Approximations in Software Predicate Abstraction TACAS 2004
- Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement CAV 2004
- Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop CAV 2006
- An Exercise in the Formal Derivation of Parallel Programs: Maximum Flows in Graphs TOPLAS 1990