SoSy-Lab

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

cpachecker

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

cpu-energy-meter

A tool for measuring energy consumption of Intel CPUs

java-common-lib

SoSy-Lab Java Common Library

java-smt

JavaSMT - Unified Java API for SMT solvers.

llvm-j

Java bindings for LLVM libraries

sv-benchmarks

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

sv-comp

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

sv-witnesses

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

tbf

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

sosy-lab/cpu-energy-meter

A tool for measuring energy consumption of Intel CPUs

sosy-lab/benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

sosy-lab/cpachecker

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

sosy-lab/java-smt

JavaSMT - Unified Java API for SMT solvers.

sosy-lab/sv-benchmarks

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

sosy-lab/sv-witnesses

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

sosy-lab/sv-comp

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

sosy-lab/java-common-lib

SoSy-Lab Java Common Library

sosy-lab/tbf

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

sosy-lab/llvm-j

Java bindings for LLVM libraries

sosy-lab/crest

CREST is a concolic test generation tool for C.

sosy-lab/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.

sosy-lab/artifact-evaluation

sosy-lab/cbmc

C Bounded Model Checker

sosy-lab/collectd-plugin-intel_cpu_energy

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

sosy-lab/collectd-plugin-sml_electricity_meter

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

sosy-lab/eclipse-cdt

Eclipse CDT™ C/C++ Development Tools

sosy-lab/license-research-evaluation

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

sosy-lab/sml-serial-receiver

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

sosy-lab/XCSP3_to_C

Implementation of the paper translating XCSP3 benchmarks to C code