SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation
Abstract elided by the publisher.
Related papers
- Completeness Refinement in Abstract Symbolic Trajectory Evaluation SAS 2004
- Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation CAV 2006
- Word-Level Symbolic Trajectory Evaluation CAV 2015
- The Mathematical Foundation fo Symbolic Trajectory Evaluation CAV 1999
- Composing Symbolic Trajectory Evaluation Results CAV 1994
- Exploiting Symmetry When Verifying Transitor-Level Circuits by Symbolic Trajectory Evaluation CAV 1997
- Combining Abstraction Refinement and SAT-Based Model Checking TACAS 2007
- Speeding up symbolic reasoning for relational queries OOPSLA 2018