I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - The Model-Checking Kit


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.


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:

    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}

GZipped PostScript (124 kB)
See www.fmi.uni-stuttgart.de ...
See also SSE03