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
- A new compressed file format for labeled transition systems with
arbitrary numbers of state and edge labels has been
- 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
The source code, installation instructions and manuals are
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.1.