Automated verification for real-time systems. Via implicit clocks and an extended Antimirov algorithm

DOI10.1007/978-3-031-30823-9_29MaRDI QIDQ6535374zbMATH OpenFDO

Authors Yahui Song, Wei-Ngan Chin

Publication date 13 December 2023

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

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

Recommendations

• Compositional verification of real-time systems with explicit clock temporal logic
• Verified model checking of timed automata
• An iterative approach to verification of real-time systems
• Specification and compositional verification of real-time systems
• Symbolic model checking for real-time systems

Cites work

• scientific article; zbMATH DE number 176736 (Why is no real title available?)
• A theory of timed automata
• Automated Reasoning with Analytic Tableaux and Related Methods
• Correct Hardware Design and Verification Methods
• Detecting quasi-equal clocks in timed automata
• Kronos: A verification tool for real-time systems
• Partial derivatives of regular expressions and finite automata constructions
• Reducing clocks in timed automata while preserving bisimulation
• Rewriting extended regular expressions
• Semantics and pragmatics of real-time maude
• Uppaal in a nutshell

This page was built for publication: Automated verification for real-time systems. Via implicit clocks and an extended Antimirov algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535374)