Michael Weber: Random Bits and Pieces

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.