Project Summary
libDDD is C++ library for manipulation of decision diagrams, both Data Decision Diagrams which are integer valued and Hierarchical Set Decision Diagrams.
ITS-tools is a multi-solution, mutli formalism model-checking toolsuite.
libITS leverages libDDD to offer a generic symbolic model-checking kernel with high expressivity, as featured by Guarded Action Language.
CTL and LTL model-checking are built on top of libITS.
A user friendly eclipse front end with support for Promela, Divine language, Petri nets, Timed Automata and GAL.
In a Nutshell, Set Decision Diagrams and ITS tools...
- ...
- ...
-
...
has a well established, mature codebase
maintained by a small development team
with decreasing Y-O-Y commits -
...
took an estimated 181 years of effort (COCOMO model)
starting with its first commit in May, 2004
ending with its most recent commit about 1 year ago
GNU General Public License v2.0 or later
Permitted
Commercial Use
Modify
Distribute
Place Warranty
Forbidden
Sub-License
Hold Liable
Required
Distribute Original
Disclose Source
Include Copyright
State Changes
Include License
These details are provided for information only. No information here is legal advice and should not be used as such.
Project Security
Vulnerabilities per Version ( last 10 releases )
There are no reported vulnerabilities
Project Vulnerability Report
Security Confidence Index
Vulnerability Exposure Index
Did You Know...
-
...
use of OSS increased in 65% of companies in 2016
-
...
data presented on the Open Hub is available through our API
-
...
65% of companies leverage OSS to speed application development in 2016
-
...
you can embed statistics from Open Hub on your site
30 Day SummaryDec 17 2023 — Jan 16 2024
|
12 Month SummaryJan 16 2023 — Jan 16 2024
|
