How to stop time stopping

DOI10.1007/s00165-006-0010-7zbMath1105.68059OpenAlexW2079649539MaRDI QIDQ855006

Howard Bowman, Rodolfo Gomez

Publication date: 20 December 2006

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-006-0010-7

zbMATH Keywords

Model checkingTimed automataNon-zenoness conditionsZeno-timelocks

Mathematics Subject Classification ID

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

Related Items (6)

Distributed parametric model checking timed automata under non-zenoness assumption ⋮ Accelerating worst case execution time analysis of timed automata models with cyclic behaviour ⋮ Efficient emptiness check for timed Büchi automata ⋮ A menagerie of timed automata ⋮ Coarse Abstractions Make Zeno Behaviours Difficult to Detect ⋮ A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata

Uses Software

• Kronos
• HyTech
• Uppaal

Cites Work

• Model-checking in dense real-time
• Automatic verification of a lip-synchronisation protocol using UPPAAL
• A theory of timed automata
• Symbolic model checking for real-time systems
• The power of reachability testing for timed automata
• Kronos: A verification tool for real-time systems
• Automated verification of an audio-control protocol using UPPAAL
• Lectures on Concurrency and Petri Nets
• Formal Modeling and Analysis of Timed Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: How to stop time stopping