The report FIMU-RS-2008-02
Evaluation of State Caching and State Compression Techniques
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
Please install a newer browser for this site to function properly.