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

This publication has 25 references indexed in Scilit:

• A partial approach to model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Safety for branching time semantics
  Published by Springer Nature ,1991
• On-line model-checking for finite linear temporal logic specifications
  Lecture Notes in Computer Science, 1990
• On the complexity of omega -automata
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
• The complementation problem for Büchi automata with applications to temporal logic
  Theoretical Computer Science, 1987
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Checking that finite state concurrent programs satisfy their linear specification
  Published by Association for Computing Machinery (ACM) ,1985
• Adequate proof principles for invariance and liveness properties of concurrent programs
  Science of Computer Programming, 1984
• Proving Liveness Properties of Concurrent Programs
  ACM Transactions on Programming Languages and Systems, 1982
• Specification and verification of concurrent systems in CESAR
  Published by Springer Nature ,1982