Overview

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.

Issue tracking

View all issues | Calendar

Latest news

We have moved to github
https://github.com/utwente-fmt/ltsmin
Added by Jeroen Meijer almost 3 years ago

LTSmin 2.0
LTSmin version 2.0 released
Added by Alfons Laarman over 4 years ago

LTSmin 1.8
LTSmin version 1.8 released
Added by Anonymous over 5 years ago

LTSmin 1.7.1
LTSmin version 1.7.1 released
Added by Anonymous over 5 years ago

LTSmin 1.7
LTSmin version 1.7 released
Added by Michael Weber over 6 years ago

View all news