Ultimate Kojak SV-COMP 2024

Dietsch, Daniel; Bentele, Manuel; Heizmann, Matthias; Klumpp, Dominik; Podelski, Andreas; Schüssele, Frank

doi:10.5281/zenodo.10202126

There is a newer version of the record available.

Published November 23, 2023 | Version 0.2.3-dev-6f5b98e

Software Open

Ultimate Kojak SV-COMP 2024

1. University of Freiburg

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 (133.0 MB)

Name	Size	Download all
ukojak.zip md5:f67735029de0c00e18d524a9ae19573d	133.0 MB	Preview Download

255

Views

217

Downloads

Show more details

	All versions	This version
Views	255	23
Downloads	217	8
Data volume	33.3 GB	1.3 GB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

Languages

English

GNU Lesser General Public License v3.0 or later

Permissions of this copyleft license are conditioned on making available complete source code of licensed works and modifications under the same license or the GNU GPLv3. Copyright and license notices must be preserved. Contributors provide an express grant of patent rights. However, a larger work using the licensed work through interfaces provided by the licensed work may be distributed under different terms and without source code for the larger work. Read more

Technical metadata

Created: November 23, 2023
Modified: November 23, 2023

Ultimate Kojak SV-COMP 2024

Creators

Description

Files

ukojak.zip

Files (133.0 MB)