Published October 21, 2025
| Version 0.3.0-dev-12eeb57b61
Software
Open
Ultimate Kojak SV-COMP 2026
Authors/Creators
- 1. University of Freiburg
Description
This is Ultimate Kojak's competition version for SV-COMP 2026. Visit our Github repository for the latest version or our website to try it for yourself.
Files
ukojak.zip
Files
(121.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:6cbb81490231bb7e6d74af6e65f3b348
|
121.9 MB | Preview Download |