Formalized timed automata
From MaRDI portal
Publication:2829277
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)
Recommendations
Cites work
- scientific article; zbMATH DE number 1670795 (Why is no real title available?)
- scientific article; zbMATH DE number 177824 (Why is no real title available?)
- scientific article; zbMATH DE number 2242593 (Why is no real title available?)
- A mechanized semantic framework for real-time systems
- A theory of timed automata
- Forward analysis of updatable timed automata
- HyTech: A model checker for hybrid systems
- Kronos: A verification tool for real-time systems
- Lectures on Concurrency and Petri Nets
- Parametric real-time reasoning
- Uppaal in a nutshell
Cited in
(7)- scientific article; zbMATH DE number 1424022 (Why is no real title available?)
- scientific article; zbMATH DE number 1962849 (Why is no real title available?)
- Verified certification of reachability checking for timed automata
- scientific article; zbMATH DE number 2242593 (Why is no real title available?)
- Verified model checking of timed automata
- scientific article; zbMATH DE number 6300098 (Why is no real title available?)
- Formal Modeling and Analysis of Timed Systems
Describes a project that uses
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)
