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: