Selected publications by Stefan Schwoon

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.

@inproceedings{SSE-tools02,
   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 = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/sse-tools02.ps},
   year = {2002},
}

About LSV