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.68181MaRDI 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
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
A superposition calculus for abductive reasoning, On invariant synthesis for parametric systems, On Interpolation and Symbol Elimination in Theory Extensions, Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata