Completeness Refinement in Abstract Symbolic Trajectory Evaluation
No abstract available.
Related papers
- SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation CAV 2006
- 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
- Sprout: A Verifier for Symbolic Multiparty Protocols CAV 2025
- Sigma*: symbolic learning of input-output specifications POPL 2013