Similar Items: Predicate Abstraction via Symbolic Decision Procedures
- Predicate Abstraction with Under-approximation Refinement
- Combining decision procedures for the reals
- Extracting verified decision procedures: DPLL and Resolution
- Symbolic and Asynchronous Semantics via Normalized Coalgebras
- Spatial logics with connectedness predicates
- Predicative theories of continuous lattices