How to stop time stopping
From MaRDI portal
Publication:855006
DOI10.1007/S00165-006-0010-7zbMATH Open1105.68059OpenAlexW2079649539MaRDI QIDQ855006FDOQ855006
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
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
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)