0
I Use This!
High Activity
Analyzed 1 day ago. based on code collected 2 days ago.

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.

Tags

ctl ltl model_checking petri_nets verification

In a Nutshell, Set Decision Diagrams and ITS tools...

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

Poor security track-record
Favorable security track-record

Vulnerability Exposure Index

Many reported vulnerabilities
Few reported vulnerabilities

Did You Know...

  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    data presented on the Open Hub is available through our API
  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    search using multiple tags to find exactly what you need
About Project Security

Languages

XML
54%
Java
18%
Postscript
10%
15 Other
18%

30 Day Summary

Apr 19 2024 — May 19 2024

12 Month Summary

May 19 2023 — May 19 2024
  • 321 Commits
    Down -147 (31%) from previous 12 months
  • 2 Contributors
    Down 0 (0%) from previous 12 months