sosy-lab Goto Github PK

artifact-evaluation

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

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

cpachecker

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

cpu-energy-meter

A tool for measuring energy consumption of Intel CPUs

crest

CREST is a concolic test generation tool for C.

eclipse-cdt

Eclipse CDT™ C/C++ Development Tools

java-common-lib

SoSy-Lab Java Common Library

java-smt

JavaSMT - Unified Java API for SMT solvers.

license-research-evaluation

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

llvm-j

Java bindings for LLVM libraries

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.

sml-serial-receiver

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

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

xcsp3_to_c

Implementation of the paper translating XCSP3 benchmarks to C code