Published November 7, 2024
| Version 0.2.5-dev-a016563
Software
Open
Ultimate Kojak SV-COMP 2025
Authors/Creators
- 1. University of Freiburg
Description
This is Ultimate Kojak's competition version for SV-COMP 2025. Visit our Github repository for the latest version or our website to try it for yourself.
Files
ukojak.zip
Files
(146.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:1aaac4c922d10a45863f744a8fb89ee2
|
146.9 MB | Preview Download |