Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM

This publication has 16 references indexed in Scilit:

• PRISM: Probabilistic Symbolic Model Checker
  Published by Springer Nature ,2002
• A theory of timed automata
  Published by Elsevier ,2002
• Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
  Published by Springer Nature ,2002
• Model Checking Continuous-Time Markov Chains by Transient Analysis
  Published by Springer Nature ,2000
• Model checking for a probabilistic branching time logic with fairness
  Distributed Computing, 1998
• Model checking of real-time reachability properties using abstractions
  Published by Springer Nature ,1998
• HYTECH: a model checker for hybrid systems
  International Journal on Software Tools for Technology Transfer, 1997
• The tool Kronos
  Published by Springer Nature ,1996
• Model-Checking in Dense Real-Time
  Information and Computation, 1993
• Properties of Markov Chains
  Published by Springer Nature ,1976