The Model-Checking Kit Claus Schroeter, Stefan Schwoon, Javier Esparza 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.
|