Partial orders and verification of real-time systems

This publication has 8 references indexed in Scilit:

• A theory of timed automata
  Published by Elsevier ,2002
• Partial-Order Methods for the Verification of Concurrent Systems
  Published by Springer Nature ,1996
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• Using partial orders for the efficient verification of deadlock freedom and safety properties
  Formal Methods in System Design, 1993
• Efficient verification of parallel real-time systems
  Published by Springer Nature ,1993
• Timing assumptions and verification of finite-state concurrent systems
  Published by Springer Nature ,1990
• Basic notions of trace theory
  Published by Springer Nature ,1989
• Automatic verification of finite state concurrent system using temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1983