Skip to content
@sosy-lab

SoSy-Lab

Pinned Loading

  1. benchexec benchexec Public

    BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

    Python 275 223

  2. cpachecker cpachecker Public

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

    Java 251 91

  3. java-smt java-smt Public

    JavaSMT - Unified Java API for SMT solvers.

    Java 229 55

Repositories

Showing 10 of 20 repositories
  • cpachecker Public

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

    sosy-lab/cpachecker’s past year of commit activity
    Java 251 Apache-2.0 91 0 0 Updated Dec 24, 2025
  • java-smt Public

    JavaSMT - Unified Java API for SMT solvers.

    sosy-lab/java-smt’s past year of commit activity
    Java 229 Apache-2.0 55 76 (3 issues need help) 26 Updated Dec 24, 2025
  • java-common-lib Public

    SoSy-Lab Java Common Library

    sosy-lab/java-common-lib’s past year of commit activity
    Java 13 Apache-2.0 11 12 1 Updated Dec 21, 2025
  • benchexec Public

    BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

    sosy-lab/benchexec’s past year of commit activity
    Python 275 Apache-2.0 223 90 (3 issues need help) 10 Updated Dec 18, 2025
  • cpu-energy-meter Public

    A tool for measuring energy consumption of Intel CPUs

    sosy-lab/cpu-energy-meter’s past year of commit activity
    C 342 BSD-3-Clause 30 2 0 Updated Nov 2, 2023
  • eclipse-cdt Public Forked from eclipse-cdt/cdt

    Eclipse CDT™ C/C++ Development Tools

    sosy-lab/eclipse-cdt’s past year of commit activity
    Java 0 EPL-2.0 259 0 0 Updated Feb 6, 2023
  • artifact-evaluation Public Forked from acmsigsoft/artifact-evaluation
    sosy-lab/artifact-evaluation’s past year of commit activity
    0 5 0 0 Updated Jan 19, 2023
  • sv-witnesses Public archive

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

    sosy-lab/sv-witnesses’s past year of commit activity
    Python 18 Apache-2.0 8 15 (2 issues need help) 9 Updated Sep 24, 2022
  • sv-benchmarks Public archive

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

    sosy-lab/sv-benchmarks’s past year of commit activity
    186 169 73 (5 issues need help) 7 Updated Oct 28, 2021
  • llvm-j Public Forked from rwl/llvm-j

    Java bindings for LLVM libraries

    sosy-lab/llvm-j’s past year of commit activity
    Java 9 16 2 0 Updated Sep 27, 2021
View all repositories