sosy-lab/sv-witnesses
An Exchange Format for Verification Witnesses (MOVED, please follow the link)
PythonApache-2.0
Watchers
- danieldietsch
- dbeyerLMU Munich
- eemailme
- Eiram
- hernanponcedeleon
- jhcloos
- kfriedberger@msg-systems (Munich/Ismaning), @sosy-lab (LMU Munich),
- MartinSpiessl
- maul-eselGermany / BW
- mdanglUniversity of Passau
- michael-schwarzTechnical University of Munich @tum-cit-pl
- PhilippWendler@sosy-lab, LMU Munich
- sim642University of Tartu
- SvenUmbricht
- yxliang01Place Where Sky Is Visible