The Unmet Challenge of Timed Systems

DOI10.1007/978-3-642-54848-2_12zbMath1416.68114OpenAlexW197702798MaRDI QIDQ5170750

Oded Maler

Publication date: 24 July 2014

Published in: From Programs to Systems. The Systems perspective in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54848-2_12

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Formal assessment of reliability specifications in embedded cyber-physical systems

Uses Software

• Kronos
• IF-2.0
• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• Sooner is safer than later
• A theory of timed automata
• Symbolic model checking for real-time systems
• Temporal proof methodologies for timed transition systems
• Kronos: A verification tool for real-time systems
• Scheduling with timed automata
• Amir Pnueli and the dawn of hybrid systems
• Timed regular expressions
• Introduction to Discrete Event Systems
• Compositional specification of timed systems
• Formal Modeling and Analysis of Timed Systems