Hierarchical Adaptive State Space Caching Based on Level Sampling

DOI10.1007/978-3-642-00768-2_21zbMath1234.68261OpenAlexW1599006800MaRDI QIDQ3617761

Anton Wijs, Radu Mateescu

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)

Related Items (1)

Extended beam search for non-exhaustive state space analysis

Uses Software

• CADP

Cites Work

• Depth-first iterative-deepening: An optimal admissible tree search
• Heuristic search in restricted memory
• Using partial orders for the efficient verification of deadlock freedom and safety properties
• Frontier search
• Survey on Directed Model Checking
• Model Checking Software
• Real-Time Model Checking on Secondary Storage
• Computer Aided Verification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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