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

DOI10.1007/978-3-031-30823-9_29zbMATH Open1543.68229MaRDI QIDQ6535374FDOQ6535374

Authors: Yahui Song, Wei-Ngan Chin 

Publication date: 13 December 2023

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

Mathematics Subject Classification ID

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

Cites Work

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

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)