by Radek Pelánek, Václav Rosecký, Jaroslav Šeděnka, February 2008, 19 pages.
FIMU-RS-2008-02. Available as Postscript, PDF.
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