Model checking is a technique for automatically checking the correctness of systems. This report gives an overview on the state-of-the art of modelchecking, and the pros and cons of the different approaches for avoiding or reducing the so-called state explosion problem.
|Place of Publication||Paderborn, Germany|
|Publisher||s-lab, University of Paderborn|
|Number of pages||29|
|Publication status||Published - 2007|
- Model checking
- state-explosion problem