Hierarchical Reasoning for the Verification of Parametric Systems

DOI10.1007/978-3-642-14203-1_15zbMath1291.68269OpenAlexW1875490257MaRDI QIDQ5747759

Viorica Sofronie-Stokkermans

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

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

• REDLOG

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

This page was built for publication: Hierarchical Reasoning for the Verification of Parametric Systems