[Jtlv-users] JTLV 1.2.1 - Java Temporal Logic Verifier.

[Yaniv S. <yan...@gm...>]

Hey everyone,
I have just released JTLV 1.2.1. ( http://jtlv.sourceforge.net )
It contains few bug fix to the error markers in window platform...
Since I have seen that many of you are using windows, I have also
published a two parts video tutorial, explaining:
- part 1 - how to install on windows. (5 minutes video)
- part 2 - how to get started. (20 minutes video)

This release also contains few feature which I had planed for 1.3.0:
- Manual BDD variable ordering. (during pre-load of a SMV file, or at any
runtime point afterwards)
- New wizards to open new "JTLV Project", "SMV File", and "SPC
(Specification) File".
- Improved JTLV Project look and feel.
Still more to come in 1.3.0 release...

Enjoy,...
-- 
-- yaniv sa'ar :: www.wisdom.weizmann.ac.il/~saar