Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. JTLV is a new tool aimed to facilitate and provide a unified framework to the development of formal verification algorithms.
Release Date:
2009-09-10
Topic:
Operating System:
License:
Intended Audience:
User Interface:
Programming Language:
Registered:
2008-03-19
Ratings and Reviews
Be the first to post a text review of JTLV - formal framework. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
Code committed
sya committed patchset 12 of module CVSROOT to the JTLV - formal framework CVS repository, changing 1 files -
Code committed
sya committed patchset 45 of module JTLV_WEB to the JTLV - formal framework CVS repository, changing 1 files -
Code committed
sya committed patchset 44 of module JTLV_WEB to the JTLV - formal framework CVS repository, changing 1 files -
Code committed
sya committed patchset 43 of module JTLV_WEB to the JTLV - formal framework CVS repository, changing 4 files -
Code committed
sya committed patchset 16 of module JTLV_RELEASES to the JTLV - formal framework CVS repository, changing 1 files -
File released: /plugin release (for eclipse)/1.4.0/jtlv1.4.0.zip
-
Code committed
sya committed patchset 868 of module JTLV_IDE to the JTLV - formal framework CVS repository, changing 1 files -
Code committed
sya committed patchset 15 of module JTLV_RELEASES to the JTLV - formal framework CVS repository, changing 1 files -
File released: /jar release/1.4.0/jtlv-prompt1.4.0.jar
-
File released: /standalone jtlv release/1.3.2/jtlv-prompt1.3.2.jar
Rate and Review
Be the first person to add a text review.
Related Projects
JTLV - formal framework Actions
About SourceForge
Develop Software
Community
Copyright © 2010 Geeknet, Inc. All rights reserved. Terms of Use
