Select a tag to browse associated projects and drill deeper into the tag cloud.
Set Decision Diagrams and ITS tools
S
Analyzed about 13 hours ago
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
Licenses:
gpl