Combining static analysis and case-based search space partitioning for reducing peak memory in model checking
From MaRDI portal
Publication:1884313
DOI10.1007/BF02945465zbMath1083.68519MaRDI QIDQ1884313
Publication date: 28 October 2004
Published in: Journal of Computer Science and Technology (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
68M12: Network protocols
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A stubborn attack on state explosion
- Verification of distributed programs using representative interleaving sequences
- Model checking and boolean graphs
- Property preserving abstractions for the verification of concurrent systems
- Issues in slicing PROMELA and its applications to model checking, protocol understanding, and simulation
- Generating BDDs for symbolic model checking in CCS