Ultimate Automizer SV-COMP 2025

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

doi:10.5281/zenodo.13924270

There is a newer version of the record available.

Published October 12, 2024 | Version 0.2.5-dev-f8438ae

Software Open

Ultimate Automizer SV-COMP 2025

1. University of Freiburg

This is Ultimate Automizer's competition version for SV-COMP 2025. Visit our Github repository for the latest version or our website to try it for yourself.

Files

uautomizer.zip

Files (134.0 MB)

Name	Size	Download all
uautomizer.zip md5:1e788b4328ce2933e8449a1bfa26b56a	134.0 MB	Preview Download

Citations

Oops! Something went wrong while fetching results.

755

Views

795

Downloads

Show more details

	All versions	This version
Views	755	5
Downloads	795	4
Data volume	160.8 GB	535.9 MB

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: October 12, 2024
Modified: October 12, 2024

Ultimate Automizer SV-COMP 2025

Creators

Description

Files

uautomizer.zip

Files (134.0 MB)