We have released version 1.4 of LTSmin. The following improvements have been implemented:
- New tool ce-mpi for distributed cycle elimination (Simona Orzan)
- New tool ltsmin-tracepp for pretty-printing traces to deadlock states
- TorX support factored out into separate tools {lpo,lps,nips}2torx
- Enumerative DFS support
- Enumerative deadlock detection and trace output
- Reworked ETF support (non-backwards compatible)
- bash completion for LTSmin tools (see contrib/bash-completion/)
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.3.