Automatic verification of real-time systems with discrete probability distributions

Theoretical Computer Science

Volumn 282, Issue 1, 2002, Pages 101-150

  Kwiatkowska, Marta ^a   Norman, Gethin ^a   Segala, Roberto ^b   Sproston, Jeremy ^a  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

^b UNIVERSITY OF VERONA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DIGITAL CIRCUITS; NETWORK PROTOCOLS; PROBABILITY DISTRIBUTIONS;

COMMUNICATION PROTOCOLS;

REAL TIME SYSTEMS;

EID: 0037036274     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(01)00046-9     Document Type: Conference Paper

References (29)

1. Model-checking for probabilistic real-time systems
2. Model-checking in dense real-time
3. A theory of timed automata
4. Deciding bisimilarity and similarity for probabilistic processes
5. Model checking for a probabilistic branching time logic with fairness
6. New generation of UPPAAL
7. Model checking of probabilistic and nondeterministic systems
8. On-the-fly symbolic model checking for real-time systems
9. Kronos: A model-checking tool for real-time systems
10. Markov decision processes and regular events
11. The bounded retransmission protocol must be on time!
12. The tool kronos
13. Model-checking of real-time reachability properties using abstractions
14. Computing minimum and maximum reachability times in probabilistic systems
15. Timing assumptions and verification of finite-state concurrent systems
16. A logic for reasoning about time and reliability
17. From quantity to quality
18. Symbolic model checking for real-time systems
19. Automatic verification of real-time systems with discrete probability distributions
20. UPPAAL in a nutshell
21. Bisimulation through probabilistic testing
22. Probabilistic simulations for probabilistic processes
23. Verifying progress in timed systems
24. Analysis of timed systems based on time-abstracting bisimulations