Using partial orders for the efficient verification of deadlock freedom and safety properties

This publication has 20 references indexed in Scilit:

• A partial approach to model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• “On the fly” verification of behavioural equivalences and preorders
  Published by Springer Nature ,1992
• Memory efficient algorithms for the verification of temporal properties
  Published by American Mathematical Society (AMS) ,1991
• Using partial orders to improve automatic verification methods
  Published by American Mathematical Society (AMS) ,1991
• Safety for branching time semantics
  Published by Springer Nature ,1991
• Specifying, programming and verifying real-time systems using a synchronous declarative language
  Published by Springer Nature ,1990
• Modeling concurrency by partial orders and nonlinear transition systems
  Published by Springer Nature ,1989
• An improved protocol reachability analysis technique
  Software: Practice and Experience, 1988
• Recognizing safety and liveness
  Distributed Computing, 1987
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986