Rabbit
From MaRDI portal
Software:14057
swMATH1317MaRDI QIDQ14057FDOQ14057
Author name not available (Why is that?)
Cited In (23)
- A survey of timed automata for the development of real-time systems
- Computer Aided Verification
- 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.
- An Introduction to Practical Formal Methods Using Temporal Logic
- 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
- Model Checking Real-Time Systems
- Improved BDD-Based Discrete Analysis of Timed 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
- Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Formal Techniques for Networked and Distributed Systems - FORTE 2003
This page was built for software: Rabbit