Verification of Real-Time Systems by Successive Over and Under Approximation
No abstract available.
Related papers
- Over-Approximation of Weakly-Hard Constraints for Control Systems Verification CAV 2026
- Timing Verification by Successive Approximation CAV 1992
- Syntactically Convex Model-Based Projection for Linear Real Arithmetic TACAS 2026
- Program verification as probabilistic inference POPL 2007
- A Constraint Oriented Proof Methodology Based on Modal Transition Systems TACAS 1995
- Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra POPL 2013
- Abstract Interpretation of Reactive Systems TOPLAS 1997
- Automatic Abstraction in SMT-Based Unbounded Software Model Checking CAV 2013