Rabbit

swMATH1317MaRDI QIDQ14057FDOQ14057

Author name not available (Why is that?)

Cited In (23)

• A survey of timed automata for the development of real-time systems
• Improved BDD-based discrete analysis of timed systems
• Theoretical Aspects of Computing – ICTAC 2005
• Title not available (Why is that?)
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Zone-based verification of timed automata: extrapolations, simulations and what next?
• Performance analysis and functional verification of the stop-and-wait protocol in HOL
• Operational semantics for timed systems. A non-standard approach to uniform modeling of timed and hybrid systems.
• Title not available (Why is that?)
• Improvements for the Symbolic Verification of Timed Automata
• Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol
• Formal Modeling and Analysis of Timed Systems
• Performance analysis of probabilistic timed automata using digital clocks
• Can decision diagrams overcome state space explosion in real-time verification?
• Model Checking Real-Time Systems
• Title not available (Why is that?)
• Model checking for probabilistic timed automata
• Title not available (Why is that?)
• A process algebraic framework for specification and validation of real-time systems
• Unbounded, fully symbolic model checking of timed automata using Boolean methods.
• Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• An introduction to practical formal methods using temporal logic

This page was built for software: Rabbit