State-space caching revisited

This publication has 13 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
• Using partial orders for the efficient verification of deadlock freedom and safety properties
  Formal Methods in System Design, 1993
• Coverage Preserving Reduction Strategies for Reachability Analysis
  Published by Elsevier ,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
• Data transport in a byte stream network
  IEEE Journal on Selected Areas in Communications, 1989
• Trace theory
  Published by Springer Nature ,1987
• Tracing Protocols
  AT&T Technical Journal, 1985
• The Pandora system: An interactive system for the design of data communication protocols
  Computer Networks (1976), 1984