Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM

This publication has 26 references indexed in Scilit:

• Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM
  Electronic Notes in Theoretical Computer Science, 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 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
• A logic for reasoning about time and reliability
  Formal Aspects of Computing, 1994
• Model-Checking in Dense Real-Time
  Information and Computation, 1993
• Model-checking for probabilistic real-time systems
  Published by Springer Nature ,1991