We have released version 1.2 of LTSmin. The following improvements have been implemented:
- Option parsing is now performed using the popt library. Thus, all long options now start with a double minus.
- Users can choose between BuDDy and ATermDD as the decision diagram library used in the symbolic tools.
- A new compressed file format for labeled transition systems with arbitrary numbers of state and edge labels has been implemented.
- The symbolic tools can write the results of the reachability analysis in the form of an ETF (Enumerated Table Format) file. This ETF file can be used as input for the reachabilty tools and can be directly translated to DVE.
The source code, installation instructions and manuals are available online:
The previous release was LTSmin 1.1.