Partition refinement in real-time model checking

This publication has 14 references indexed in Scilit:

• Minimization of timed transition systems
  Published by Springer Nature ,2006
• The theory of hybrid automata
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• 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
• A compositional proof of a real-time mutual exclusion protocol
  Published by Springer Nature ,1997
• Automatic symbolic verification of embedded systems
  IEEE Transactions on Software Engineering, 1996
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Model-checking for real-time systems
  Published by Springer Nature ,1995
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986