We have released version 1.1 of LTSmin. This release adds a fair
number of tools and functionality, and thus
we have adjusted the description accordingly:
Minimization and Instantiation
of Labelled Transition Systems
This release connects
and mCRL2, both for symbolic and
distributed state-space generation. This neatly ties in with earlier
work on distributed
The source code, installation instructions and manuals are
LTSmin is currently being developed by
the Formal Methods and Tools
group at the University of
Twente, The Netherlands.
The previous release was LTSmin 1.0.