Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation
No abstract available.
Related papers
- Completeness Refinement in Abstract Symbolic Trajectory Evaluation SAS 2004
- SAT-Based Assistance in Abstraction Refinement 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
- Efficient Detection of Vacuity in ACTL Formulaas CAV 1997
- Enhanced Vacuity Detection in Linear Temporal Logic CAV 2003