Hierarchical Reasoning for the Verification of Parametric Systems
From MaRDI portal
Publication:5747759
DOI10.1007/978-3-642-14203-1_15zbMath1291.68269OpenAlexW1875490257MaRDI QIDQ5747759
Publication date: 14 September 2010
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-14203-1_15
Related Items
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata, PTIME parametric verification of safety properties for reasonable linear hybrid automata, A superposition calculus for abductive reasoning, On Interpolation and Symbol Elimination in Theory Extensions, On invariant synthesis for parametric systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Linear parametric model checking of timed automata
- Modular proof systems for partial functions with Evans equality
- Applications of Hierarchical Reasoning in the Verification of Complex Systems
- Constraint-Based Approach for Analysis of Hybrid Systems
- A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata
- Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
- Requirements Validation for Hybrid Systems
- Automated Deduction – CADE-20
- Invariant Synthesis for Combined Theories
- On Local Reasoning in Verification
- On Hierarchical Reasoning in Combinations of Theories
