The Mathematical Foundation fo Symbolic Trajectory Evaluation
No abstract available.
Related papers
- Completeness Refinement in Abstract Symbolic Trajectory Evaluation SAS 2004
- Composing Symbolic Trajectory Evaluation Results CAV 1994
- Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation CAV 2006
- SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation CAV 2006
- Exploiting Symmetry When Verifying Transitor-Level Circuits by Symbolic Trajectory Evaluation CAV 1997
- Word-Level Symbolic Trajectory Evaluation CAV 2015
- A formal foundation for symbolic evaluation with merging POPL 2022
- History of Logo HOPL 2020