Requirements Validation for Hybrid Systems
From MaRDI portal
Publication:3636860
DOI10.1007/978-3-642-02658-4_17zbMath1242.68156DBLPconf/cav/CimattiRT09OpenAlexW1594976552WikidataQ62041267 ScholiaQ62041267MaRDI QIDQ3636860
Stefano Tonetta, Marco Roveri, Alessandro Cimatti
Publication date: 30 June 2009
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-02658-4_17
Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (8)
Tightening the contract refinements of a system architecture ⋮ SMT-based satisfiability of first-order LTL with event freezing functions and metric operators ⋮ HRELTL: a temporal logic for hybrid systems ⋮ Towards a notion of unsatisfiable and unrealizable cores for LTL ⋮ Unnamed Item ⋮ Quantifier-free encoding of invariants for hybrid systems ⋮ Hierarchical Reasoning for the Verification of Parametric Systems ⋮ An abstract model for proving safety of autonomous urban traffic
This page was built for publication: Requirements Validation for Hybrid Systems
