Partial-order methods for temporal verification

This publication has 10 references indexed in Scilit:

• A partial approach to model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Using partial orders for the efficient verification of deadlock freedom and safety properties
  Formal Methods in System Design, 1993
• State space caching revisited
  Published by Springer Nature ,1993
• Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits
  Published by Springer Nature ,1993
• Memory-efficient algorithms for the verification of temporal properties
  Formal Methods in System Design, 1992
• Defining conditional independence using collapses
  Theoretical Computer Science, 1992
• Stubborn sets for reduced state space generation
  Published by Springer Nature ,1991
• On the relation of programs and computations to models of temporal logic
  Published by Springer Nature ,1989
• Recognizing safety and liveness
  Distributed Computing, 1987
• Trace theory
  Published by Springer Nature ,1987