An implementation of three algorithms for timing verification based on automata emptiness

This publication has 16 references indexed in Scilit:

• Minimization of timed transition systems
  Published by Springer Nature ,2006
• Concurrency and automata on infinite sequences
  Published by Springer Nature ,2005
• Model-checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Minimal state graph generation
  Science of Computer Programming, 1992
• Analysis of discrete event coordination
  Published by Springer Nature ,1990
• The complementation problem for Büchi automata with applications to temporal logic
  Theoretical Computer Science, 1987
• A fast mutual exclusion algorithm
  ACM Transactions on Computer Systems, 1987
• Specification and verification of concurrent programs by A ∀ automata
  Published by Association for Computing Machinery (ACM) ,1987
• Hierarchical correctness proofs for distributed algorithms
  Published by Association for Computing Machinery (ACM) ,1987
• Depth-First Search and Linear Graph Algorithms
  SIAM Journal on Computing, 1972