Published November 22, 2024
| Version v4
Software
Open
Bubaak at SV-COMP 2025
Authors/Creators
Contributors
Researcher:
Files
bubaak.zip
Files
(41.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:5369b62b41175299b57961ec750f8dc2
|
41.8 MB | Preview Download |
Additional details
Funding
Software
- Repository URL
- https://gitlab.com/mchalupa/bubaak