News

  •    March 17, 2010   
    JTLV moved to a new home at http://jtlv.ysaar.net.
    We hope to also make another facial lift to the site soon, and include many new getting started examples. In the mean time you can refer the Install and Get Started page. You can also check out the new Publications page to find what many JTLV users managed to do with it.
  • March 11, 2010
    JTLV 1.4.1 is out.
    The new release includes few bug fixes.
    Please refer to the download page to get the latest release.
  • September 10, 2009
    JTLV 1.4.0 is out.
    It has been a while since JTLV's last release, and it is time to publish a new one. The new release contains many new functionalities and bug fixes. Release 1.4.0 includes:
    • Major parsing refactoring. Fixed many parsing issues.
    • New declaration for loops, and expression for loops.
    • An API to replace the under underlying BDD manager. Using JavaBDD interfaces you can now seamlessly plug a new BDD manager to JTLV.
    • Multi threading support to CUDD package. You can now implement multi threaded symbolic algorithms using the default BDD package or CUDD. (Thanks to Kedar Namjoshi for his help).
    • Performance improvements. The improvements should apply to all BDD package integrations, specifically to the CUDD package.
    • Bug fixes for several known issues.
    • JTLV is now tested and verified on Eclipse Version: 3.5.0, Build id: M20090611-1540.

    Please refer to the download page to get the latest release.
    An explanation for the new for loops can be found at FAQ page.

    Release 1.4.0 has few known limitations:
    • Declarations for loops are not working for the VAR section!
    • Since 1.4.0 changed the JNI, we had to compile the BDD libraries all over again. Since we don't have available Mac OS, we could not compile the low level C libraries for that platform. Thus, Mac user will not be able to executed low level C libraries (this issue does not include the pure Java - default - BDD libraries). If anyone has a Mac OS, we will be more then happy to walk him through the compilation steps, and help him get the libraries compiled (and contribute to other Mac users)

    In our next phase of development, we are going to concentrate our effort on performance issues. If anyone has a test case for which he thinks there might be a performance issue, please send it to us
  • March 19, 2009
    • As you can see, we made some facial lift to the site.
      Check to see the new pages we prepared.
    • Please also note my KIND REQUEST at the bottom of the webpage below.
  • February 17, 2009
    JTLV 1.3.2 is out.
    The new release includes in addition to the bug fixes:
    • More usage example in the library.
    • New and much more extensive Java Docs, at the documentation page
    • New methodology and interfaces, for users algorithms.
    • More algorithms implementation in the library.
    • Better print outs for BDD's and BDDVarSet.
    • Improved JTLV Multi Threading support.
    Please refer to the download page to get the latest release.
  • December 21, 2008
    JTLV 1.3.1 is out.
    The new release includes in addition to the bug fixes:
    • Improved JTLV Multi Threading support.
    • Manual control on the BDD factories.
    • Manual BDD variable ordering. (during pre-load of an 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.
    Please refer to the download page to get the latest release (JaveDoc for this release are planed to be published soon).
  • November 28, 2008
    JTLV 1.2.1 Symbolic Threads Bug Report.
    For those interested with symbolic threads, and multi threaded symbolic algorithms, please install JTLV 1.2.0 release.
    It seems that the new feature for manual variable ordering, introduced in JTLV 1.2.1 has collide with the symbolic threads facilities. (hopefully, all will be fixed at JTLV 1.3.0 release)
  • October 29, 2008
    New JTLV 1.2.1 video tutorial.
    Since windows is seemed to be the popular eclipse JTLV platform, a new two parts video tutorial is published here. The first part of the tutorial covers all needed installations for a windows platform. The second part gives a short getting started introduction.
  • October 29, 2008
    JTLV 1.2.1 is out.
    Due to few bugs with JTLV on windows platform, a new intermediate release is out. In addition to the bug fixes, the new release also contains some new features (planed to be released at 1.3.0), including:
    • Manual BDD variable ordering. (during pre-load of an 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.
    Please refer to the download page to get the latest release (new JaveDoc won't be available for this release).
  • September 27, 2008
    JTLV 1.2.0 is out.
    The new release contains many new features including:
    • New temporal specification parser (LTL, CTL, RealTimeCTL, CTL*), with a corresponding advance eclipse editor for specification files, *.spc (the syntax itself is identical to NuSMV specification syntax). The editor Includes syntax highlight, error indicator, BDD indicator, etc.
    • Java API to load and quire the specifications.
    • The library now includes various kinds of basic model checking implementations.
    • Multi threading support. (Currently the support is restricted, the ones interested in multi threaded symbolic programming, please contact to me first for further instructions)
    • Standalone release which allows the user to integrate JTLV into his favorite Java editor, or to use JTLV through the prompt.(see below)
    The release also contains many bug fixes and major refactoring to the entire internal environment.
    Please refer to the download page to get the latest release and to the documentation to download the latest JavaDocs.
  • September 27, 2008
    New stand alone JTLV 1.2.0 release is out.
    A new release of a single jar containing all JTLV and referenced libraries. This kind of release, allows the user to integrate JTLV into his favorite Java editor or to use JTLV through a prompt
    (e.g. `javac -cp ./:./jtlv-prompt1.2.0.jar *.java` and `javac -cp ./:./jtlv-prompt1.2.0.jar MaincClass`)
    Please refer to the download page to get this release.
  • June 06, 2008
    JTLV 1.1.0 is out.
    The new release includes a major refactoring and a complete JavaDocs to the user API.
    Please refer to the download page to get the latest release and to the documentation to download the latest JavaDocs.
  • June 01, 2008
    We published a new mailing list for JTLV developers. In this mailing list, we will discuss the development process, design issues, bugs, thing todo, etc. To subscribe / unsubscribe / preferences, please refer to here.
  • June 01, 2008
    We published a new mailing list for front end users. In this mailing list, we will discuss formal methods development, user API, request for new features, external bugs, etc. To subscribe / unsubscribe / preferences, please refer to here.
  • May 26, 2008
    An initial java doc for the user API has been published.