Published November 16, 2024
| Version 0.2.3
Software
Open
sv-sanitizers at SV-COMP 2025
Description
sv-sanitizers verifier submitted to SV-COMP 2025.
Files
sv-sanitizers.zip
Files
(5.6 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:ac9eab3ccb38cf50db9cdc76249345dc
|
5.6 kB | Preview Download |
Additional details
Software
- Repository URL
- https://github.com/sim642/sv-sanitizers/
- Programming language
- Python
- Development Status
- Active