Towards Bounded Model Checking for the Universal Fragment of TCTL

This publication has 32 references indexed in Scilit:

• Minimization of timed transition systems
  Published by Springer Nature ,2006
• An implementation of three algorithms for timing verification based on automata emptiness
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• On-the-fly symbolic model checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A theory of timed automata
  Published by Elsevier ,2002
• Symbolic Model Checking without BDDs
  Published by Springer Nature ,1999
• Partial order reductions for timed systems
  Published by Springer Nature ,1998
• Data-structures for the verification of timed automata
  Published by Springer Nature ,1997
• The benefits of relaxing punctuality
  Journal of the ACM, 1996
• Model-Checking in Dense Real-Time
  Information and Computation, 1993
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986