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-atpn03,
   address = {Eindhoven, The Netherlands},
   author = {Schr{\"o}ter, Claus and Schwoon, Stefan and Esparza, Javier},
   booktitle = {{P}roceedings of the 24th {I}nternational {C}onference on {A}pplications and {T}heory of {P}etri {N}ets ({ICATPN}'03)},
   editor = {van der Aalst, Wil M. P. and Best, Eike},
   month = jun,
   pages = {463-472},
   publisher = {Springer},
   series = {Lecture Notes in Computer Science},
   title = {The Model-Checking Kit},
   url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/sse-atpn03.ps},
   volume = {2679},
   year = {2003},
}

About LSV