SoSy-Lab

@sosy-lab

Verified
We've verified that the organization sosy-lab controls the domain:
- www.sosy-lab.org

Pinned Loading

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

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

Java 252 92
JavaSMT - Unified Java API for SMT solvers.

Java 232 57

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

Java
252
Apache-2.0
92 0 0
Updated Mar 24, 2026
java-smt Public
JavaSMT - Unified Java API for SMT solvers.

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

Java
14
Apache-2.0
11 13 2
Updated Mar 22, 2026
benchexec Public
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

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

JavaScript 0 MIT
881 0 0
Updated Dec 18, 2024
sosy-lab/cpu-energy-meter’s past year of commit activity

C
344
BSD-3-Clause
31 2 0
Updated Nov 2, 2023
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
sv-benchmarks Public archive
Collection of Verification Tasks (MOVED, please follow the link)

sosy-lab/sv-benchmarks’s past year of commit activity
sosy-lab/llvm-j’s past year of commit activity

Java
9 16 2 0
Updated Sep 27, 2021

Loading…