SoSy-Lab

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

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

SWIG 249 Apache-2.0 92 0 0 Updated Oct 14, 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 54 78 (3 issues need help) 30 Updated Oct 13, 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 12 1 Updated Oct 13, 2025
benchexec Public
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

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

Python 270 Apache-2.0 212 79 (3 issues need help) 10 Updated Sep 19, 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 343 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 261 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 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

185 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 9 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!

People

Top languages

Most used topics

Uh oh!