Skip to content
@sosy-lab

SoSy-Lab

Pinned Loading

  1. benchexec Public

    BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

    Python 252 210

  2. cpachecker Public

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

    SWIG 237 90

  3. java-smt Public

    JavaSMT - Unified Java API for SMT solvers.

    Java 218 50

Repositories

Showing 10 of 20 repositories
  • java-smt Public

    JavaSMT - Unified Java API for SMT solvers.

    Java 218 Apache-2.0 50 71 (4 issues need help) 18 Updated Apr 6, 2025
  • cpachecker Public

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

    SWIG 237 Apache-2.0 90 0 0 Updated Apr 6, 2025
  • java-common-lib Public

    SoSy-Lab Java Common Library

    Java 12 Apache-2.0 12 11 1 Updated Apr 6, 2025
  • benchexec Public

    BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

    Python 252 Apache-2.0 210 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 3 0 Updated Nov 2, 2023
  • eclipse-cdt Public Forked from eclipse-cdt/cdt

    Eclipse CDT™ C/C++ Development Tools

    Java 0 EPL-2.0 257 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…

Most used topics

Loading…