Property Driven Three-Valued Model Checking on Hybrid Automata

DOI10.1007/978-3-642-02261-6_18zbMath1246.68151OpenAlexW1520155113MaRDI QIDQ3638286

Klaus Schneider, Kerstin Bauer, Raffaella Gentilini

Publication date: 2 July 2009

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02261-6_18

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Uses Software

• RSOLVER
• HSolver

Cites Work

• What's decidable about hybrid automata?
• A theory of timed automata
• O-minimal hybrid systems.
• Hybrid Systems: Computation and Control
• Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking
• Hybrid Systems: Computation and Control
• Computer Aided Verification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item