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

LTSmin 1.1 Released

2008-12-15 :: /science

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:

http://fmt.cs.utwente.nl/tools/ltsmin/

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.

Root :: science :: { publications }