Real-time verification techniques for untimed systems
From MaRDI portal
Recommendations
Cites work
- A new solution of Dijkstra's concurrent programming problem
- A theory of timed automata
- Constraint-based deductive model checking
- scientific article; zbMATH DE number 1670793 (Why is no real title available?)
- scientific article; zbMATH DE number 108539 (Why is no real title available?)
- scientific article; zbMATH DE number 1222559 (Why is no real title available?)
- On the reachability problem for 5-dimensional vector addition systems
- Results on the propositional \(\mu\)-calculus
Cited in
(13)- An iterative approach to verification of real-time systems
- Optimizing path real-time logic for unified real-time system
- scientific article; zbMATH DE number 1670505 (Why is no real title available?)
- Towards a theory of time-bounded verification
- Analysis of Linear Hybrid Systems in CLP
- scientific article; zbMATH DE number 2081106 (Why is no real title available?)
- Runtime verification of embedded real-time systems
- The Unmet Challenge of Timed Systems
- Refinement-Based Verification of Interactive Real-Time Systems
- The dynamic checking of complex real time system
- scientific article; zbMATH DE number 5181779 (Why is no real title available?)
- Efficient verification of distributed real-time systems with broadcasting behaviors
- An engineering process for the verification of real-time systems
This page was built for publication: Real-time verification techniques for untimed systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2703729)
