LTSmin, originally Minimization and Instantiation of Labelled Transition Systems, has become a language-independent model checker that offers a wide spectrum of parallel and symbolic algorithms to deal with the state space explosion of different verification problems.
We have moved to github: https://github.com/utwente-fmt/ltsmin.¶
Manager: Alfons Laarman, Jeroen Meijer, Michael Weber
Developer: Alfons Laarman, Gijs Kant, Jaco van de Pol, Jeroen Meijer, Stefan Blom, Tom van Dijk, Wytse Oortwijn
Reporter: Axel Belinfante, Jeroen Meijer