jtlv formal framework

We have hosted the application jtlv formal framework in order to run this application in our online workstations with Wine or directly.

Quick description about jtlv formal framework:

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.

Audience: Advanced End Users, Developers, Education, Science/Research.
User interface: Eclipse.
Programming Language: C, Java.
Categories: