Selected publications by Stefan Schwoon

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.

   address = {Brno, Czech Republic},
   author = {Schr{\"o}ter, Claus and Schwoon, Stefan and Esparza, Javier},
   booktitle = {{P}roceedings of the {T}ools {D}ay {W}orkshop},
   editor = {{\v C}ern{\'a}, Ivana},
   howpublished = {Technical Report FIMU-RS-2002-05, Masaryk University, Brno, Czech Republic},
   month = aug,
   pages = {22-31},
   publisher = {Uppsala University},
   title = {The Model-Checking Kit},
   url = {},
   year = {2002},

About LSV