@sosy-lab

SoSy-Lab

Pinned repositories

  1. benchexec

    BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

    Python 47 82

  2. cpachecker

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

    C 74 46

  3. java-smt

    JavaSMT - Unified Java API for SMT solvers.

    Java 51 11

  4. sv-benchmarks

    Collection of Verification Tasks

    C 89 97

  5. sv-comp

    Information to reproduce results from SV-COMP

    9 34

  6. sv-witnesses

    An Exchange Format for Verification Witnesses

    Python 7 3