GitHub topics: sv-comp
sim642/sv-sanitizers
SV-COMP wrapper for sanitizers
Language: Python - Size: 55.7 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0
wit4java/wit4java
An execution-based violation-witness validator for Java
Language: Python - Size: 22.6 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 6 - Forks: 0
sosy-lab/sv-comp 📦
Information to reproduce results from SV-COMP (MOVED, please follow the link)
Size: 624 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 14 - Forks: 51
sosy-lab/sv-benchmarks 📦
Collection of Verification Tasks (MOVED, please follow the link)
Size: 3.45 GB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 186 - Forks: 168