Verifying automata specifications of probabilistic real-time systems

This publication has 15 references indexed in Scilit:

• Automata for modeling real-time systems
  Published by Springer Nature ,2005
• A framework for reasoning about time and reliability
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A partial approach to model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Symbolic model checking: 10/sup 20/ states and beyond
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Model-checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A logic of concrete time intervals
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Specifying real-time properties with metric temporal logic
  Real-Time Systems, 1990
• A really temporal logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1989
• Verifying temporal properties of finite-state probabilistic programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
• Using branching time temporal logic to synthesize synchronization skeletons
  Science of Computer Programming, 1982