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.0 has been released, a tool set for the minimization of large labelled transition systems (LTS) on compute clusters.

Precursors of LTSmin have been used in various case studies, see also:

Stefan Blom, Jens R. Calame, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs: Distributed Analysis with muCRL: A Compendium of Case Studies. TACAS 2007: 683–689

The main tool in this release is ltsmin-mpi, a distributed implementation of signature-based bisimulation reduction for strong bisimulation and branching bisimulation.

The source code, detailed 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.

Page 1/2: 1 2