A List by Author: Jaroslav Šeděnka
Evaluation of State Caching and State Compression Techniques
February 2008, 19 pages.
Available as Postscript,
We study two techniques for reducing memory consumption of explicit model checking - state caching and state compression. In order to evaluate these techniques we review the literature, discuss trends in relevant research, and
perform experiments over a large benchmark set (more than 100 models). The conclusion of our evaluation is that it is more important to combine several simple techniques in an appropriate way rather than to tune a single sophisticated technique.