Similar Items: Predicate Abstraction with Under-approximation Refinement
- Predicate Abstraction via Symbolic Decision Procedures
- Modular, Fully-abstract Compilation by Approximate Back-translation
- Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
- Spatial logics with connectedness predicates
- Predicative theories of continuous lattices
- Expressive Logics for Coinductive Predicates