How to stop time stopping

DOI10.1007/S00165-006-0010-7zbMATH Open1105.68059OpenAlexW2079649539MaRDI QIDQ855006FDOQ855006

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

Recommendations

• A tool for the syntactic detection of Zeno-timelocks in timed automata
• Efficient Detection of Zeno Runs in Timed Automata
• Coarse abstractions make Zeno behaviours difficult to detect
• Coarse abstractions make Zeno behaviours difficult to detect
• Distributed parametric model checking timed automata under non-zenoness assumption

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)

Cites Work

• Kronos: A verification tool for real-time systems
• A theory of timed automata
• Title not available (Why is that?)
• Lectures on Concurrency and Petri Nets
• Model-checking in dense real-time
• Symbolic model checking for real-time systems
• The power of reachability testing for timed automata
• Automated verification of an audio-control protocol using UPPAAL
• Title not available (Why is that?)
• Formal Modeling and Analysis of Timed Systems
• Concurrency theory. Calculi and automata for modelling untimed and timed cocurrent systems.
• Automatic verification of a lip-synchronisation protocol using UPPAAL
• Guided synthesis of control programs using UPPAAL
• Title not available (Why is that?)
• A tool for the syntactic detection of Zeno-timelocks in timed automata

Cited In (7)

• Coarse Abstractions Make Zeno Behaviours Difficult to Detect
• Efficient Detection of Zeno Runs in Timed Automata
• A compositional translation of timed automata with deadlines to Uppaal timed automata
• Distributed parametric model checking timed automata under non-zenoness assumption
• Efficient emptiness check for timed Büchi automata
• Accelerating worst case execution time analysis of timed automata models with cyclic behaviour
• A menagerie of timed automata

Uses Software

• Kronos
• HyTech
• Uppaal

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

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