Reference: C. Schröter, S. Schwoon, and J. 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 (Eme90). Suggested BibTeX entry: @inproceedings{SSE02,     address = {Masaryk University, Brno},     author = {C. Schr{\"o}ter and S. Schwoon and J. 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.informatik.uni-stuttgart.de ...