The Model-Checking Kit

The Model-Checking Kit [8] 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 [7].

• Type: Conference
• Year: 2003
• Where: APN
• Authors: Claus Schröter, Stefan Schwoon, Javier Esparza
• Keywords: APN 2003, Artificial Intelligence, Model-Checking Kit, Temporal Logics Ctl, finite State Systems