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

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:


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.