SoSy-Lab

cpachecker

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

sv-benchmarks

Collection of Verification Tasks (MOVED, please follow the link)

java-smt

JavaSMT - Unified Java API for SMT solvers.

cpu-energy-meter

A tool for measuring energy consumption of Intel CPUs

sv-witnesses

An Exchange Format for Verification Witnesses (MOVED, please follow the link)

sv-comp

Information to reproduce results from SV-COMP (MOVED, please follow the link)

java-common-lib

SoSy-Lab Java Common Library

tbf

A framework for using test case generators to locate errors in C programs

llvm-j

Java bindings for LLVM libraries

crest

CREST is a concolic test generation tool for C.

reprozip

ReproZip is a tool that simplifies the process of creating reproducible experiments from command-line executions, a frequently-used common denominator in computational science.

artifact-evaluation

cbmc

C Bounded Model Checker

collectd-plugin-intel_cpu_energy

A collectd plugin for monitoring the power usage of 2nd gen (or later) Intel Core processors

collectd-plugin-sml_electricity_meter

Collectd plugin to receive and parse data packets from an SML-capable electricity meter

eclipse-cdt

Eclipse CDT™ C/C++ Development Tools

license-research-evaluation

This project is for the development and maintenance of a license for participation in research competitions.

sml-serial-receiver

Receive data packets from an SML-capable electricity meter and print their contents in a human-readable format

XCSP3_to_C

Implementation of the paper translating XCSP3 benchmarks to C code