Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy
Abstract elided by the publisher.
Related papers
- The Continuing Quest for Abstraction ECOOP 2006
- Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases TACAS 2004
- A Semantic Basis for Quest JFP 1991
- The Quest for Efficient Boolean Satisfiability Solvers CAV 2002
- The Quest for Minimal Quotients for Probabilistic Automata TACAS 2013
- Succinct Determinisation of Counting Automata via Sphere Construction APLAS 2019
- Succinct Representations for Abstract Interpretation - Combined Analysis Algorithms and Experimental Evaluation SAS 2012
- A fresh look at binary search trees JFP 2002