Skip to content
@sosy-lab

SoSy-Lab

Pinned Loading

  1. benchexec benchexec Public

    BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

    Python 258 212

  2. cpachecker cpachecker Public

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

    SWIG 240 90

  3. java-smt java-smt Public

    JavaSMT - Unified Java API for SMT solvers.

    Java 224 52

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
    SWIG 240 Apache-2.0 90 0 0 Updated May 21, 2025
  • java-smt Public

    JavaSMT - Unified Java API for SMT solvers.

    sosy-lab/java-smt’s past year of commit activity
    Java 224 Apache-2.0 52 71 (4 issues need help) 16 Updated May 21, 2025
  • java-common-lib Public

    SoSy-Lab Java Common Library

    sosy-lab/java-common-lib’s past year of commit activity
    Java 12 Apache-2.0 12 11 1 Updated May 18, 2025
  • benchexec Public

    BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

    sosy-lab/benchexec’s past year of commit activity
    Python 258 Apache-2.0 212 81 (3 issues need help) 6 Updated May 12, 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 334 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 258 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
    184 169 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

Top languages

Loading…

Most used topics

Loading…
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy