State-space caching revisited
- 1 November 1995
- journal article
- Published by Springer Science and Business Media LLC in Formal Methods in System Design
- Vol. 7 (3), 227-241
- https://doi.org/10.1007/bf01384077
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Memory efficient algorithms for the verification of temporal propertiesPublished by Springer Science and Business Media LLC ,2005
- Using partial orders to improve automatic verification methodsPublished by Springer Science and Business Media LLC ,2005
- Using partial orders for the efficient verification of deadlock freedom and safety propertiesFormal Methods in System Design, 1993
- Coverage Preserving Reduction Strategies for Reachability AnalysisPublished by Elsevier BV ,1992
- Algorithms for Automated Protocol VerificationAT&T Technical Journal, 1990
- On-line model-checking for finite linear temporal logic specificationsLecture Notes in Computer Science, 1990
- Data transport in a byte stream networkIEEE Journal on Selected Areas in Communications, 1989
- Trace theoryLecture Notes in Computer Science, 1987
- Tracing ProtocolsAT&T Technical Journal, 1985
- The Pandora system: An interactive system for the design of data communication protocolsComputer Networks (1976), 1984