Underapproximating Predicate Transformers
No abstract available.
Related papers
- Abstract conflict driven learning POPL 2013
- Bounded Underapproximations CAV 2010
- Underapproximation for Model-Checking Based on Random Cryptographic Constructions CAV 2007
- Underapproximation of Procedure Summaries for Integer Programs TACAS 2013
- Proof-guided underapproximation-widening for multi-process systems POPL 2005
- Revisiting Underapproximate Reachability for Multipushdown Systems TACAS 2020
- win and sin: Predicate Transformers for Concurrency TOPLAS 1990
- Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers ECOOP 1997