SoSy-Lab

@sosy-lab

  • Verified

    We've verified that the organization sosy-lab controls the domain:

    • www.sosy-lab.org

Pinned Loading

  1. BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

    Python 281 224

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

    Java 252 92

  3. JavaSMT - Unified Java API for SMT solvers.

    Java 232 57

Repositories

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

Most used topics

Loading…