Rabbit
From MaRDI portal
Rabbit Q14057
Cited in
(46)- A survey of timed automata for the development of real-time systems
- An introduction to practical formal methods using temporal logic
- Improved BDD-based discrete analysis of timed systems
- Theoretical Aspects of Computing – ICTAC 2005
- scientific article; zbMATH DE number 1693437 (Why is no real title available?)
- Zone-based verification of timed automata: extrapolations, simulations and what next?
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- 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.
- scientific article; zbMATH DE number 2090709 (Why is no real title available?)
- Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol
- Improvements for the Symbolic Verification of Timed Automata
- Formal Modeling and Analysis of Timed Systems
- Performance analysis of probabilistic timed automata using digital clocks
- IMITATOR
- Kronos
- TAXYS
- Uppaal2k
- POEM
- GEZEL
- Uppaal
- DREAM Tool
- TSPASS
- LearnLib
- McAiT
- Verics
- LinAIG
- TeMP
- CoVer
- Tempo
- PAT
- Synthia
- UPPAAL TIGA
- IDLVALID
- REDLIB
- UPPAAL CORA
- ITS-Tools
- Model Checking Real-Time Systems
- Can decision diagrams overcome state space explosion in real-time verification?
- Model checking for probabilistic timed automata
- scientific article; zbMATH DE number 1852149 (Why is no real title available?)
- A process algebraic framework for specification and validation of real-time systems
- scientific article; zbMATH DE number 2090708 (Why is no real title available?)
- 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
This page was built for software: Rabbit
