JTLV - formal framework download

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.

Project Samples

SMV editor, parser error - "pci.smv", cannot find module.

SMV editor, parser error - cannot find module.

SMV editor, parser error - wrong boolean expression.

Project Activity

See All Activity >

License

GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Follow JTLV - formal framework

JTLV - formal framework Web Site

User Reviews

Be the first to post a review of JTLV - formal framework!

Additional Project Details

Operating Systems

BSD, Linux, Windows

Intended Audience

Advanced End Users, Developers, Education, Science/Research

User Interface

Eclipse

Programming Language

C, Java

Related Categories

C Algorithms, C Electronic Design Automation (EDA) Software, Java Algorithms, Java Electronic Design Automation (EDA) Software

Registered

2008-03-19

Similar Business Software

TrustInSoft Analyzer

TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers...

See Software
Symbiotic EDA Suite

Find bugs early and raise the confidence in your design by using formal checks and formal properties. Apply formal early on in the design process wherever it makes sense for your application. Use formal cover traces to further your design understanding and answer hard questions about the design...

See Software
3SL Cradle

Manage needs, epics, user stories, features and the product backlog through a series of sprints, each using your choice of requirements management, model based systems engineering (MBSE) and test management with your preferred level of change tracking, configuration management and formal change...

See Software
Servo

Servo’s mission is to provide an independent, modular, embeddable web engine, which allows developers to deliver content and applications using web standards. Servo is written in Rust, and shares code with Mozilla Firefox and the wider Rust ecosystem. Since its creation in 2012, Servo has...

See Software
Bitrise

Bitrise is a CI/CD platform built for mobile development, helping teams speed up builds, automate testing, and deliver high-quality apps faster. It supports native languages like Swift, Objective-C, Java, and Kotlin, as well as cross-platform frameworks including React Native, Flutter, Xamarin,...

See Software
Odoo

Odoo is a fully integrated, customizable, open-source software packed with hundreds of expertly designed business applications. Odoo’s intuitive database is able to meet a majority of business needs, such as: CRM, Sales, Project, Manufacturing, Inventory, and Accounting, just to name a few. Odoo...

See Software