Michael Weber: Random Bits and Pieces

If we knew what it was we were doing, it would not be called research, would it?

Albert Einstein

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 to NIPS and mCRL2, both for symbolic and distributed state-space generation. This neatly ties in with earlier work on distributed state-space generation.

The source code, installation instructions and manuals are available online:


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.