Reference: C. Schröter, S. Schwoon, and J. Esparza. The Model-Checking Kit. In W. van der Aalst and E. Best, editors, Applications and Theory of Petri Nets 2003, volume 2679 of Lecture Notes in Computer Science, pages 463–472. Springer-Verlag, 2003. 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{SSE03,     author = {C. Schr{\"o}ter and S. Schwoon and J. Esparza},     booktitle = {Applications and Theory of Petri Nets 2003},     editor = {W. van der Aalst and E. Best},     pages = {463--472},     publisher = {Springer-Verlag},     series = {Lecture Notes in Computer Science},     title = {{The Model-Checking Kit}},     volume = {2679},     year = {2003} }

GZipped PostScript (60 kB) See www.informatik.uni-stuttgart.de ...