Sciweavers

Share
FMICS
2009
Springer

Dynamic State Space Partitioning for External Memory Model Checking

10 years 6 months ago
Dynamic State Space Partitioning for External Memory Model Checking
We describe a dynamic partitioning scheme usable by model checking techniques that divide the state space into partitions, such as most external memory and distributed model checking algorithms. The goal of the scheme is to reduce the number of transitions that link states belonging to different partitions, and thereby limit the amount of disk access and network communication. We report on several experiments made with our verification platform ASAP that implements the dynamic partitioning scheme proposed in this paper.
Sami Evangelista, Lars Michael Kristensen
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where FMICS
Authors Sami Evangelista, Lars Michael Kristensen
Comments (0)
books