A List by Author: Václav Rosecký
- home page:
Verification Manager: Automating the Verification Process
Although model checking is usually described as an automatic technique, the verification process with the use of model checker is far from being fully automatic. With the aim of automating the verification process, we elaborate
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.