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:
The previous release was LTSmin 1.2.