Michael Weber: Random Bits and Pieces

We have released version 1.3 of LTSmin. The following improvements have been implemented:

  • Regrouping optimizations of the PINS matrix
  • Connection to the CADP toolkit via pins_open
  • Tuning of the BDD usage
  • Significant performance improvements
  • Symbolic deadlock detection and trace output

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.2.