Diagnostic model-checking for real-time systems

This publication has 10 references indexed in Scilit:

• Symbolic model checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Compositional and symbolic model-checking of real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A theory of timed automata
  Published by Elsevier ,2002
• UPPAAL — a tool suite for automatic verification of real-time systems
  Published by Springer Nature ,1996
• From timed automata to logic — and back
  Published by Springer Nature ,1995
• Compositional model checking of real time systems
  Published by Springer Nature ,1995
• Automated analysis of an audio control protocol
  Published by Springer Nature ,1995
• Delay analysis in synchronous programs
  Published by Springer Nature ,1993
• An efficient algorithm for minimizing real-time transition systems
  Lecture Notes in Computer Science, 1993
• The use of static constructs in a model process logic
  Lecture Notes in Computer Science, 1989