sosy-lab/sv-witnesses
An Exchange Format for Verification Witnesses (MOVED, please follow the link)
PythonApache-2.0
Stargazers
- Bo-Yuan-HuangIntel Corp.
- ChrisLinn@Fluidex & @ZenGo-X
- cMensendiek
- danieldietsch
- darvasdZürich, Switzerland
- diegoocampoh@Atlassian
- DruidosISPRAS
- expwnent
- hajduakos@Facebook
- halsten
- liuyic00
- lou1306TU Wien
- PhilippWendler@sosy-lab, LMU Munich
- potatoboiler
- sohahUniversity Of Minnesota
- SpencerL-YInstitute of Software, CAS
- XujieSiUniversity of Toronto
- yxliang01Place Where Sky Is Visible