Dynamic State Space Partitioning for External Memory Model Checking.

Sami Evangelista, Lars Michael Kristensen

Browse the full FMICS paper archive.