Composing Symbolic Trajectory Evaluation Results
Abstract elided by the publisher.
Related papers
- The Mathematical Foundation fo Symbolic Trajectory Evaluation CAV 1999
- Completeness Refinement in Abstract Symbolic Trajectory Evaluation SAS 2004
- 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
- Process-Centric Analysis of Agentic Software Systems OOPSLA 2026
- Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models CAV 2020