repositories Search Results · topic:verification org:sosy-lab fork:true
Filter by
5 results
(84 ms)5 results
insosy-lab (press backspace or delete to remove)CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
- SWIG
- 224
- Updated 6 hours ago
Public archive
Collection of Verification Tasks (MOVED, please follow the link)
- 184
- Updated on Oct 28, 2021
Public archive
An Exchange Format for Verification Witnesses (MOVED, please follow the link)
- Python
- 18
- Updated on Sep 24, 2022
Public archive
Information to reproduce results from SV-COMP (MOVED, please follow the link)
- 15
- Updated on Oct 28, 2020
Public archive
A framework for using test case generators to locate errors in C programs
- OCaml
- 9
- Updated on Mar 11, 2019
Sponsor open source projects you depend on
Contributors are working behind the scenes to make open source better for everyone—give them the help and recognition they deserve.Explore sponsorable projectsProTip!
Press the /
key to activate the search input again and adjust your query.Sponsor open source projects you depend on
Contributors are working behind the scenes to make open source better for everyone—give them the help and recognition they deserve.Explore sponsorable projectsProTip!
Press the /
key to activate the search input again and adjust your query.