SoSy-Lab

4 followers
LMU Munich, Germany
https://www.sosy-lab.org
Verified
We've verified that the organization sosy-lab controls the domain:
- www.sosy-lab.org
Learn more about verified organizations

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

Java 176 Apache-2.0 80 0 0 Updated Nov 28, 2022
benchexec Public
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Python 155 Apache-2.0 150 69 (3 issues need help) 2 Updated Nov 28, 2022
java-common-lib Public
SoSy-Lab Java Common Library

Java 9 Apache-2.0 10 12 2 Updated Nov 27, 2022
java-smt Public
JavaSMT - Unified Java API for SMT solvers.

Java 133 Apache-2.0 30 41 (3 issues need help) 6 Updated Nov 27, 2022
sv-witnesses Public archive
An Exchange Format for Verification Witnesses (MOVED, please follow the link)

Python 17 Apache-2.0 7 15 (2 issues need help) 9 Updated Sep 24, 2022
sv-benchmarks Public archive
Collection of Verification Tasks (MOVED, please follow the link)

184 170 73 (5 issues need help) 7 Updated Oct 28, 2021
llvm-j Public
Java bindings for LLVM libraries

Java 8 17 2 0 Updated Sep 27, 2021
artifact-evaluation Public

0 2 0 0 Updated Sep 7, 2021
cpu-energy-meter Public
A tool for measuring energy consumption of Intel CPUs

C 85 BSD-3-Clause 21 0 0 Updated Jun 30, 2021
XCSP3_to_C Public
Implementation of the paper translating XCSP3 benchmarks to C code

C++ 0 1 0 0 Updated Nov 3, 2020

Pinned