swMATH1317MaRDI QIDQ14057FDOQ14057
Author name not available (Why is that?)
Official website: http://www.sosy-lab.org/~dbeyer/Rabbit/
Cited In (41)
- 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
- IMITATOR
- Uppaal
- DREAM Tool
- TSPASS
- LearnLib
- McAiT
- Verics
- LinAIG
- TeMP
- CoVer
- Tempo
- PAT
- Synthia
- UPPAAL TIGA
- Can decision diagrams overcome state space explosion in real-time verification?
- Model Checking Real-Time Systems
- IDLVALID
- REDLIB
- UPPAAL CORA
- ITS-Tools
- 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