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

LTSmin 1.5 Released

2009-12-02 :: /science

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

  • New frontend DVE (requires DiVinE-cluster)
  • Bignum support for state counts in spec-reach tools
    (Jeroen Ketema)
  • spec-reach clean-up
  • 'tree' vector set implementation based on AtermDD

The source code, installation instructions and manuals are available online:

http://fmt.cs.utwente.nl/tools/ltsmin/

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

Root :: science :: { publications }