Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

Coloane

Compare

  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?")

42.8K lines of code

2 current contributors

4 months since last commit

11 users on Open Hub

Activity Not Available
5.0
 
I Use This

Why3

Compare

  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 ... [More] large set of theorem provers, including SMT solvers, TPTP provers, as well as interactive proof assistants. [Less]

552K lines of code

23 current contributors

3 months since last commit

3 users on Open Hub

Activity Not Available
5.0
 
I Use This

RUDDER

Compare

  Analyzed about 1 month ago

Continuous Auditing & Configuration

563K lines of code

18 current contributors

about 1 month since last commit

3 users on Open Hub

Activity Not Available
0.0
 
I Use This
Licenses: apache_2, CC-BY-SA-2_0, gpl3

OSVVM

Compare

  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 ... [More] needed. With OSVVM you can add advanced verification methodologies to your current testbench without having to learn a new language or throw out your existing testbench or testbench models. [Less]

65.5K lines of code

1 current contributors

9 days since last commit

3 users on Open Hub

High Activity
5.0
 
I Use This

Gappa

Compare

  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 ... [More] robust floating-point filters of CGAL and for certifying the elementary functions of CRlibm. [Less]

25.8K lines of code

2 current contributors

over 3 years since last commit

3 users on Open Hub

Activity Not Available
5.0
 
I Use This

DIVINE

Compare

  Analyzed 3 months ago

DIVINE is a modern explicit-state model checker. Building on high­-per­for­mance algorithms and data structures, it offers unparalleled versatility, sca­ling 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++.

151K lines of code

11 current contributors

over 1 year since last commit

3 users on Open Hub

Activity Not Available
0.0
 
I Use This

VUnit HDL

Compare

  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 ... [More] methodologies by supporting a "test early and often" approach through automation. [Less]

64.8K lines of code

25 current contributors

9 months since last commit

3 users on Open Hub

Activity Not Available
5.0
 
I Use This

PolyBoRi

Compare

  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.

72.6K lines of code

0 current contributors

about 9 years since last commit

2 users on Open Hub

Activity Not Available
5.0
 
I Use This
Licenses: No declared licenses

seL4

Compare

  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.

1.01M lines of code

58 current contributors

28 days since last commit

2 users on Open Hub

Very High Activity
0.0
 
I Use This

service-technology.org

Compare

  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 ... [More] at Humboldt-Universität zu Berlin, the University of Rostock, the Technische Universiteit Eindhoven, and several cooperation partners. [Less]

0 lines of code

0 current contributors

0 since last commit

2 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: AGPL3_or_..., gpl3_or_l..., lgpv3_or_...