State space caching revisited

This publication has 11 references indexed in Scilit:

• Memory efficient algorithms for the verification of temporal properties
  Published by Springer Nature ,2005
• Using partial orders to improve automatic verification methods
  Published by Springer Nature ,2005
• 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
  Published by Springer Nature ,1992
• Bounded-memory algorithms for verification on-the-fly
  Lecture Notes in Computer Science, 1992
• Algorithms for Automated Protocol Verification
  AT&T Technical Journal, 1990
• On-line model-checking for finite linear temporal logic specifications
  Lecture Notes in Computer Science, 1990
• Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching
  IEEE Transactions on Software Engineering, 1987
• Trace theory
  Published by Springer Nature ,1987
• Tracing Protocols
  AT&T Technical Journal, 1985