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

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.