search

sosy-lab / sv-witnesses

An Exchange Format for Verification Witnesses (MOVED, please follow the link)
https://gitlab.com/sosy-lab/benchmarking/sv-witnesses
Apache License 2.0
18 stars 9 forks source link
software-verification verification witness witness-validation

readme

Exchange Format for Violation Witnesses and Correctness Witnesses

Contents: