A tool for the syntactic detection of Zeno-timelocks in timed automata

MaRDI QIDQ2851073zbMATH OpenFDO

Authors Li Su, Howard Bowman

Publication date 2 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105051157

Mathematics Subject Classification ID

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

Recommendations

• How to stop time stopping
• Efficient Detection of Zeno Runs in Timed Automata
• Static detection of Zeno runs in UPPAAL networks based on synchronization matrices and two data-variable heuristics
• Coarse abstractions make Zeno behaviours difficult to detect
• Coarse abstractions make Zeno behaviours difficult to detect

Cited in

(4)

• Efficient Detection of Zeno Runs in Timed Automata
• Static detection of Zeno runs in UPPAAL networks based on synchronization matrices and two data-variable heuristics
• How to stop time stopping
• Formal Approaches to Software Testing

Describes a project that uses

Uses Software

• Uppaal
• Uppaal2k
• Kronos

This page was built for publication: A tool for the syntactic detection of Zeno-timelocks in timed automata

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