Published November 23, 2023
| Version 0.2.3-dev-6f5b98e
Software
Open
Ultimate Automizer SV-COMP 2024
Creators
- 1. University of Freiburg
Description
This is Ultimate Automizer's competition version for SV-COMP 2024. Visit our Github repository for the latest version or our website to try it for yourself.
Files
uautomizer.zip
Files
(133.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:8211b6237de5a5a34255d94c9b018230
|
133.0 MB | Preview Download |