Reference:

Claus Schröter, Stefan Schwoon, and Javier Esparza. The Model-Checking Kit. In Proceedings of Toolsday-Workshop (satellite event of CONCUR'02), Report Series FIMU-RS-2002-05, pages 22–31, Masaryk University, Brno, 2002.

Abstract:

The Model-Checking Kit is a collection of programs which allow to model finite state systems using a variety of modelling languages, and verify them using a variety of checkers, including deadlock-checkers, reachability-checkers, and model-checkers for the temporal logics CTL and LTL.

Suggested BibTeX entry:

@inproceedings{SSE02,
    address = {Masaryk University, Brno},
    author = {Claus Schr{\"o}ter and Stefan Schwoon and Javier Esparza},
    booktitle = {Proceedings of Toolsday-Workshop (satellite event of CONCUR'02)},
    pages = {22--31},
    series = {Report Series FIMU-RS-2002-05},
    title = {{The Model-Checking Kit}},
    year = {2002}
}