Select a tag to browse associated projects and drill deeper into the tag cloud.
Coloane
Analyzed 3 months ago
Coloane is a free Eclipse based editor dedicated to systems modeling using different formalisms like Petri Nets. With Coloane you can design your models and connect them to the FrameKit platform. This platform provides you a huge set of tools you can use to verify properties on your models (i.e. "Does my model have a deadlock?")
Licenses:
eclipse
Why3
Analyzed 3 months ago
Why3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification apart from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for a
RUDDER
Analyzed about 1 month ago
Continuous Auditing & Configuration
Licenses:
apache_2, CC-BY-SA-2_0, gpl3
OSVVM
O
Analyzed about 21 hours ago
Open Source VHDL Verification Methodology (OSVVM) is an intelligent testbench methodology that allows mixing of “Intelligent Coverage” (coverage driven randomization) with directed, algorithmic, file based, and constrained random test approaches. The methodology can be adopted in part or in whole as
Licenses:
apache_2
Gappa
G
Analyzed about 1 month ago
The Gappa tool helps developers to verify arithmetic properties on their numerical programs (either floating-point or fixed-point computations). It can also generate formal proofs of the properties for extra confidence. It has been successfully used with several projects, e.g. for writing some
DIVINE
Analyzed 3 months 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...
VUnit HDL
Analyzed 8 months ago
VUnit is an open source unit testing framework for VHDL/SystemVerilog released under the terms of Mozilla Public License, v. 2.0. It features the functionality needed to realize continuous and automated testing of your HDL code. VUnit doesn't replace but rather complements traditional testing
Licenses:
mozilla_p...
PolyBoRi
P
Analyzed almost 2 years ago
PolyBoRi is implemented as a C++ library for Polynomials over Boolean Rings, which provides high-level data types for Boolean polynomials. A python-interface yields extensible algorithms for computing Groebner bases over Boolean Rings.
Licenses:
No declared licenses
seL4
Analyzed 28 days ago
The seL4 microkernel
The world's first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement.
Licenses:
GNU_Gener...
service-technology.org
Analyzed over 2 years ago
We provide a collection of approaches, tools, and research results which are related to behavioural aspects of service technology such as service composition, discovery, mediation, substitution, and others. This technology is the result of joint research efforts of the theory of programming groups
Mostly written in language not available
Licenses:
AGPL3_or_..., gpl3_or_l..., lgpv3_or_...