Published November 8, 2023
| Version 0.2.3-dev-cf1a783
Software
Open
Ultimate Kojak SV-COMP 2024
Creators
- 1. University of Freiburg
Description
This is Ultimate Kojak's competition version for SV-COMP 2024. Visit our Github repository for the latest version or our website to try it for yourself.
Files
ukojak.zip
Files
(132.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:8f58f8864b7b42122b87c18c16092cb7
|
132.9 MB | Preview Download |