Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems
From MaRDI portal
Publication:4928452
DOI10.1007/978-3-642-38574-2_25zbMath1381.68181OpenAlexW1528317507MaRDI QIDQ4928452
Publication date: 14 June 2013
Published in: Automated Deduction – CADE-24 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-38574-2_25
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata ⋮ A superposition calculus for abductive reasoning ⋮ On Interpolation and Symbol Elimination in Theory Extensions ⋮ On invariant synthesis for parametric systems
This page was built for publication: Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems
