Hierarchical Adaptive State Space Caching Based on Level Sampling

DOI10.1007/978-3-642-00768-2_21MaRDI QIDQ3617761zbMATH OpenOpenAlexFDO

Authors Radu Mateescu, Anton Wijs

Publication date 31 March 2009

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00768-2_21

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model Checking Software
• Search-Order Independent State Caching
• Automated Technology for Verification and Analysis
• scientific article; zbMATH DE number 1701774
• A probabilistic dynamic technique for the distributed generation of very large state spaces

Cites work

• Depth-first iterative-deepening: An optimal admissible tree search
• Frontier search
• Heuristic search in restricted memory
• scientific article; zbMATH DE number 53772 (Why is no real title available?)
• scientific article; zbMATH DE number 177248 (Why is no real title available?)
• scientific article; zbMATH DE number 3473265 (Why is no real title available?)
• scientific article; zbMATH DE number 1979552 (Why is no real title available?)
• scientific article; zbMATH DE number 1746649 (Why is no real title available?)
• scientific article; zbMATH DE number 1852163 (Why is no real title available?)
• Model Checking Software
• Real-Time Model Checking on Secondary Storage
• Survey on Directed Model Checking
• To store or not to store.
• Using partial orders for the efficient verification of deadlock freedom and safety properties

Cited in

(3)

• The ComBack method revisited: caching strategies and extension with delayed duplicate detection
• Model Checking Software
• Extended beam search for non-exhaustive state space analysis

Describes a project that uses

Uses Software

• CADP

This page was built for publication: Hierarchical Adaptive State Space Caching Based on Level Sampling

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3617761)