Technical Reports
A List by Author: Jaroslav Šeděnka
- e-mail:
- 143135(a)mail.muni.cz
Evaluation of State Caching and State Compression Techniques
by Radek Pelánek, Václav Rosecký, Jaroslav Šeděnka, February 2008, 19 pages.
FIMU-RS-2008-02. Available as Postscript, PDF.
Abstract:
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
Responsible contact:
vedaXDjbU2LSW@fiQ1T5fpnNE.muni8CVI=SRv5.cz
Please install a newer browser for this site to function properly.