Symbolic Model Checking for Probabilistic Timed Automata

This publication has 17 references indexed in Scilit:

• Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM
  International Journal on Software Tools for Technology Transfer, 2004
• PRISM: Probabilistic Symbolic Model Checker
  Published by Springer Nature ,2002
• A theory of timed automata
  Published by Elsevier ,2002
• The tool Kronos
  Published by Springer Nature ,1996
• Model checking of probabilistic and nondeterministic systems
  Published by Springer Nature ,1995
• A logic for reasoning about time and reliability
  Formal Aspects of Computing, 1994
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• Model-Checking in Dense Real-Time
  Information and Computation, 1993
• Timing assumptions and verification of finite-state concurrent systems
  Published by Springer Nature ,1990
• Denumerable Markov Chains
  Published by Springer Nature ,1976