Timing Verification by Successive Approximation
No abstract available.
Related papers
- Verification of Real-Time Systems by Successive Over and Under Approximation CAV 1995
- Approximate Relational Reasoning for Quantum Programs CAV 2024
- Automatic Abstraction in SMT-Based Unbounded Software Model Checking CAV 2013
- Program verification as probabilistic inference POPL 2007
- Abstract Interpretation of Reactive Systems TOPLAS 1997
- Verification-Preserving Inlining in Automatic Separation Logic Verifiers OOPSLA 2023
- Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement CAV 2019
- Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra POPL 2013