Rabbit
From MaRDI portal
Software:14057
No author found.
Related Items (23)
Model Checking Real-Time Systems ⋮ Performance analysis of probabilistic timed automata using digital clocks ⋮ Formal Modeling and Analysis of Timed Systems ⋮ Unnamed Item ⋮ A survey of timed automata for the development of real-time systems ⋮ Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol ⋮ An Introduction to Practical Formal Methods Using Temporal Logic ⋮ Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems ⋮ Theoretical Aspects of Computing – ICTAC 2005 ⋮ Unnamed Item ⋮ Improved BDD-Based Discrete Analysis of Timed Systems ⋮ Model checking for probabilistic timed automata ⋮ A process algebraic framework for specification and validation of real-time systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Improvements for the Symbolic Verification of Timed Automata ⋮ Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ Computer Aided Verification ⋮ Formal Techniques for Networked and Distributed Systems - FORTE 2003 ⋮ 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. ⋮ Zone-based verification of timed automata: extrapolations, simulations and what next?
This page was built for software: Rabbit
