Skip to content
@sosy-lab

SoSy-Lab

Pinned Loading

  1. benchexec benchexec Public

    BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

    Python 240 202

  2. cpachecker cpachecker Public

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

    SWIG 227 90

  3. java-smt java-smt Public

    JavaSMT - Unified Java API for SMT solvers.

    Java 188 46

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
    SWIG 227 Apache-2.0 90 0 0 Updated Dec 13, 2024
  • benchexec Public

    BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

    sosy-lab/benchexec’s past year of commit activity
    Python 240 Apache-2.0 202 80 (3 issues need help) 5 Updated Dec 13, 2024
  • java-smt Public

    JavaSMT - Unified Java API for SMT solvers.

    sosy-lab/java-smt’s past year of commit activity
    Java 188 Apache-2.0 46 65 (5 issues need help) 8 Updated Dec 12, 2024
  • java-common-lib Public

    SoSy-Lab Java Common Library

    sosy-lab/java-common-lib’s past year of commit activity
    Java 12 Apache-2.0 11 11 1 Updated Dec 8, 2024
  • 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 329 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 248 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 4 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 9 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
    183 170 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 8 17 2 0 Updated Sep 27, 2021
View all repositories