Select a tag to browse associated projects and drill deeper into the tag cloud.
DIVINE
Analyzed about 1 year ago
DIVINE is a modern explicit-state model checker. Building on high-performance algorithms and data structures, it offers unparalleled versatility, scaling from a typical developer’s laptop, up to a high-end compute cluster. What more, it can verify a wide range of languages, including C and C++.
Licenses:
bsd_2clau...
CPAchecker
Analyzed about 1 year ago
CPAchecker is a tool for configurable software verification.
For more information on the CPAchecker project, please visit the CPAchecker Project Home Page.
Licenses:
apache_2
Set Decision Diagrams and ITS tools
S
Analyzed about 1 year 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
Klever
K
Analyzed about 1 year ago
Klever is a software verification framework that aims at automated checking of programs developed in the GNU C programming language against a variety of requirements using software model checkers (automatic software verification tools) implementing such methods of thorough static analysis as Bounded
Licenses:
apache_v2