Formalized timed automata
DOI10.1007/978-3-319-43144-4_26zbMATH Open1478.68183OpenAlexW2499128759MaRDI QIDQ2829277FDOQ2829277
Authors: Simon Wimmer 
Publication date: 27 October 2016
Published in: Interactive Theorem Proving (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-43144-4_26
Recommendations
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cites Work
- HyTech: A model checker for hybrid systems
- Kronos: A verification tool for real-time systems
- Uppaal in a nutshell
- A theory of timed automata
- Lectures on Concurrency and Petri Nets
- Title not available (Why is that?)
- Forward analysis of updatable timed automata
- Parametric real-time reasoning
- Title not available (Why is that?)
- Title not available (Why is that?)
- A mechanized semantic framework for real-time systems
Cited In (7)
Uses Software
This page was built for publication: Formalized timed automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2829277)
