Automatic synthesis of real time systems

DOI10.1007/3-540-60084-1_103MaRDI QIDQ4645208zbMATH OpenOpenAlexFDO

Authors Jørgen H. Andersen, Jesper Niedermann, Kåre Kristoffersen, Kim G. Larsen

Publication date 10 January 2019

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-60084-1_103

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• A really temporal logic
• A theory of timed automata
• Algebraic laws for nondeterminism and concurrency
• Compositionality Through an Operational Semantics of Contexts
• From ATP to timed graphs and hybrid systems
• scientific article; zbMATH DE number 1678356 (Why is no real title available?)
• scientific article; zbMATH DE number 176728 (Why is no real title available?)
• scientific article; zbMATH DE number 177838 (Why is no real title available?)
• scientific article; zbMATH DE number 4118343 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• Submodule construction as equation solving in CCS
• Symbolic model checking for real-time systems
• Time-abstracted bisimulation: Implicit specifications and decidability

Cited in

(1)

• Weak bisimulation for probabilistic timed automata

This page was built for publication: Automatic synthesis of real time systems

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