SoSy-Lab

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

sosy-lab/cpachecker’s past year of commit activity

SWIG 242 Apache-2.0 91 0 0 Updated Jul 1, 2025
java-smt Public
JavaSMT - Unified Java API for SMT solvers.

sosy-lab/java-smt’s past year of commit activity

Java 226 Apache-2.0 52 73 (4 issues need help) 17 Updated Jul 1, 2025
benchexec Public
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

sosy-lab/benchexec’s past year of commit activity

Python 263 Apache-2.0 211 78 (3 issues need help) 9 Updated Jun 30, 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 12 11 1 Updated Jun 29, 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 336 BSD-3-Clause 31 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 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 16 2 0 Updated Sep 27, 2021

View all repositories

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

SoSy-Lab

Pinned Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Uh oh!

Most used topics

Uh oh!