Language-Based Abstraction Refinement for Hybrid System Verification
Abstract elided by the publisher.
Related papers
- Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement TACAS 2003
- HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata TACAS 2017
- Using Abstractions for the Verification of Linear Hybrid Systems CAV 1994
- SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions CAV 2021
- CRIS: The Power of Imagination in Hybrid Verification PLDI 2026
- CESAR: Control Envelope Synthesis via Angelic Refinements TACAS 2024
- Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems CAV 2024
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026