Skip to content
@sosy-lab

SoSy-Lab

Pinned Loading

  1. benchexec Public

    BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

    Python 252 209

  2. cpachecker Public

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

    SWIG 238 90

  3. java-smt Public

    JavaSMT - Unified Java API for SMT solvers.

    Java 217 49

Repositories

Showing 10 of 20 repositories
  • java-smt Public

    JavaSMT - Unified Java API for SMT solvers.

    Java 217 Apache-2.0 49 70 (4 issues need help) 17 Updated Mar 31, 2025
  • cpachecker Public

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

    SWIG 238 Apache-2.0 90 0 0 Updated Mar 31, 2025
  • java-common-lib Public

    SoSy-Lab Java Common Library

    Java 12 Apache-2.0 12 11 1 Updated Mar 30, 2025
  • benchexec Public

    BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

    Python 252 Apache-2.0 209 80 (3 issues need help) 9 Updated Mar 21, 2025
  • cpu-energy-meter Public

    A tool for measuring energy consumption of Intel CPUs

    C 332 BSD-3-Clause 30 2 0 Updated Nov 2, 2023
  • eclipse-cdt Public Forked from eclipse-cdt/cdt

    Eclipse CDT™ C/C++ Development Tools

    Java 0 EPL-2.0 255 0 0 Updated Feb 6, 2023
  • artifact-evaluation Public Forked from acmsigsoft/artifact-evaluation
    0 4 0 0 Updated Jan 19, 2023
  • sv-witnesses Public archive

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

    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)

    184 169 73 (5 issues need help) 7 Updated Oct 28, 2021
  • llvm-j Public Forked from rwl/llvm-j

    Java bindings for LLVM libraries

    Java 8 16 2 0 Updated Sep 27, 2021
View all repositories

Top languages

Loading…