Repositories list

• java-smt

  Public
  JavaSMT - Unified Java API for SMT solvers.

  javasmtsolver

  Java

  •

  Apache License 2.0

  •46•192•66•12•Updated Dec 28, 2024Dec 28, 2024

• cpachecker

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

  cverificationsoftware-verification+ 2javastatic-analysis

  SWIG

  •

  Apache License 2.0

  •90•227•0•0•Updated Dec 26, 2024Dec 26, 2024

• benchexec

  Public
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

  benchmarkingbenchmark-frameworkpython+ 4linuxbenchmarkcgroupsresource-measurement

  Python

  •

  Apache License 2.0

  •202•240•81•6•Updated Dec 23, 2024Dec 23, 2024

• java-common-lib

  Public
  SoSy-Lab Java Common Library

  java

  Java

  •

  Apache License 2.0

  •11•12•11•1•Updated Dec 22, 2024Dec 22, 2024

• cpu-energy-meter

  Public
  A tool for measuring energy consumption of Intel CPUs

  energyresource-measurementlinux+ 1rapl

  C

  •

  BSD 3-Clause "New" or "Revised" License

  •30•332•2•0•Updated Nov 2, 2023Nov 2, 2023

• eclipse-cdt

  Public
  Eclipse CDT™ C/C++ Development Tools

  Java

  •

  Eclipse Public License 2.0

  •205•0•0•0•Updated Feb 6, 2023Feb 6, 2023

• artifact-evaluation

  Public
  4•0•0•0•Updated Jan 19, 2023Jan 19, 2023

• sv-witnesses

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

  verificationsoftware-verificationwitness+ 1witness-validation

  Python

  •

  Apache License 2.0

  •9•18•15•9•Updated Sep 24, 2022Sep 24, 2022

• sv-benchmarks

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

  javacompetitionbenchmark+ 6verification-tasksv-compsoftware-verificationwitnesscverification

  169•183•73•7•Updated Oct 28, 2021Oct 28, 2021

• llvm-j

  Public
  Java bindings for LLVM libraries

  javallvm

  Java

  •

  Other

  •17•8•2•0•Updated Sep 27, 2021Sep 27, 2021

• XCSP3_to_C

  Public
  Implementation of the paper translating XCSP3 benchmarks to C code

  C++

  •2•0•0•0•Updated Nov 3, 2020Nov 3, 2020

• sv-comp

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

  verificationsoftware-verificationcompetition+ 1sv-comp

  Apache License 2.0

  •50•15•0•0•Updated Oct 28, 2020Oct 28, 2020

• collectd-plugin-intel_cpu_energy

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

  C

  •2•0•0•0•Updated Jan 16, 2020Jan 16, 2020

• tbf

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

  testingverificationtesting-tools+ 1klee

  OCaml

  •

  Other

  •7•9•1•0•Updated Mar 11, 2019Mar 11, 2019

• license-research-evaluation

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

  Other

  •1•0•0•0•Updated Feb 13, 2019Feb 13, 2019

• crest

  Public
  CREST is a concolic test generation tool for C.

  C

  •

  BSD 2-Clause "Simplified" License

  •50•2•0•0•Updated Jan 28, 2019Jan 28, 2019

• reprozip

  Public
  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 "New" or "Revised" License

  •34•2•0•0•Updated Oct 2, 2017Oct 2, 2017

• collectd-plugin-sml_electricity_meter

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

  Java

  •2•0•0•0•Updated Aug 4, 2017Aug 4, 2017

• sml-serial-receiver

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

  Java

  •

  Other

  •3•0•0•0•Updated Aug 4, 2017Aug 4, 2017

• cbmc

  Public
  C Bounded Model Checker

  C++

  •

  Other

  •269•0•0•0•Updated Nov 24, 2016Nov 24, 2016