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