New results on timed specifications

DOI10.1007/978-3-642-28412-0_12MaRDI QIDQ2890330zbMATH OpenOpenAlexFDO

Authors Timothy Bourke, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wąsowski, Kim G. Larsen

Publication date 8 June 2012

Published in Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL https://vbn.aau.dk/ws/files/58769014/ownWADT2010.pdf

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2017345
• Timed I/O automata: a complete specification theory for real-time systems
• Revisiting timed specification theories: a linear-time perspective
• Robust specification of real time components
• scientific article; zbMATH DE number 1507209

Cites work

• A theory of timed automata
• CONCUR 2005 – Concurrency Theory
• Formal Methods for the Design of Real-Time Systems
• Frontiers of Combining Systems
• scientific article; zbMATH DE number 1696495 (Why is no real title available?)
• scientific article; zbMATH DE number 2017345 (Why is no real title available?)
• scientific article; zbMATH DE number 1863183 (Why is no real title available?)
• On the synthesis of discrete controllers for timed systems
• The existence of refinement mappings
• Timed I/O automata: a complete specification theory for real-time systems

Cited in

(2)

• scientific article; zbMATH DE number 2017345 (Why is no real title available?)
• New time hierarchy results for deterministic TMS

Describes a project that uses

Uses Software

• ECDAR
• Uppaal
• UPPAAL TIGA

This page was built for publication: New results on timed specifications

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