SoSy-Lab

Repositories

• cpachecker

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

  c java verification software-verification
  SWIG Apache-2.0 72 141 0 0 Updated Apr 18, 2021

• benchexec

  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

  python linux benchmarking benchmark cgroups benchmark-framework resource-measurement
  Python Apache-2.0 121 110 53 (2 issues need help) 7 Updated Apr 18, 2021

• java-common-lib

  SoSy-Lab Java Common Library

  java
  Java Apache-2.0 8 6 11 2 Updated Apr 18, 2021

• java-smt

  JavaSMT - Unified Java API for SMT solvers.

  java solver smt
  Java Apache-2.0 23 88 35 (2 issues need help) 4 Updated Apr 18, 2021

• cpu-energy-meter

  A tool for measuring energy consumption of Intel CPUs

  linux energy resource-measurement rapl
  C BSD-3-Clause 15 45 0 0 Updated Apr 12, 2021

• sv-benchmarks

  Collection of Verification Tasks

  c java competition benchmark verification verification-task sv-comp
  161 160 72 (5 issues need help) 2 Updated Feb 22, 2021

• sv-witnesses

  An Exchange Format for Verification Witnesses

  verification software-verification witness witness-validation
  Python Apache-2.0 4 12 14 (2 issues need help) 4 Updated Dec 22, 2020

• llvm-j

  Forked from rwl/llvm-j

  Java bindings for LLVM libraries

  java llvm
  Java 15 6 2 0 Updated Nov 20, 2020

• XCSP3_to_C

  Forked from vsahil/XCSP3_to_C

  Implementation of the paper translating XCSP3 benchmarks to C code
  C++ 1 0 0 0 Updated Nov 3, 2020

• sv-comp Archived

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

  competition verification sv-comp software-verification
  Apache-2.0 54 12 0 0 Updated Oct 28, 2020

• collectd-plugin-intel_cpu_energy

  Forked from n-st/collectd-plugin-intel_cpu_energy

  A collectd plugin for monitoring the power usage of 2nd gen (or later) Intel Core processors
  C 1 0 0 0 Updated Jan 16, 2020

• intel-cmt-cat

  Forked from intel/intel-cmt-cat

  User space software for Intel(R) Resource Director Technology
  C 146 0 0 0 Updated Apr 25, 2019

• tbf Archived

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

  testing verification testing-tools klee
  OCaml 6 6 1 0 Updated Mar 11, 2019

• license-research-evaluation

  This project is for the development and maintenance of a license for participation in research competitions.
  0 0 0 0 Updated Feb 13, 2019

• crest

  Forked from jburnim/crest

  CREST is a concolic test generation tool for C.
  C BSD-2-Clause 43 2 0 0 Updated Jan 28, 2019

• reprozip

  Forked from VIDA-NYU/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.
  Python BSD-3-Clause 28 2 0 0 Updated Oct 2, 2017

• collectd-plugin-sml_electricity_meter

  Forked from n-st/collectd-plugin-sml_electricity_meter

  Collectd plugin to receive and parse data packets from an SML-capable electricity meter
  Java 1 0 0 0 Updated Aug 4, 2017

• sml-serial-receiver

  Forked from n-st/sml-serial-receiver

  Receive data packets from an SML-capable electricity meter and print their contents in a human-readable format
  Java 1 0 0 0 Updated Aug 4, 2017

• cbmc

  Forked from diffblue/cbmc

  C Bounded Model Checker
  C++ 168 0 0 0 Updated Nov 24, 2016