Giters

sosy-lab / sv-witnesses

An Exchange Format for Verification Witnesses (MOVED, please follow the link)

Home Page:https://gitlab.com/sosy-lab/benchmarking/sv-witnesses

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

witnesswitness-validationsoftware-verificationverification

About

An Exchange Format for Verification Witnesses (MOVED, please follow the link)

https://gitlab.com/sosy-lab/benchmarking/sv-witnesses

witnesswitness-validationsoftware-verificationverification

License:Apache License 2.0

Languages

Language:Python 70.0%Language:C 28.0%Language:SWIG 0.9%Language:Makefile 0.7%Language:Assembly 0.3%