Published November 20, 2023
| Version svcomp24-0-g3af192da0
Software
Open
Goblint at SV-COMP 2024
Creators
- 1. University of Tartu
- 2. Technische Universität München
Description
Goblint verifier and validator submitted to SV-COMP 2024.
Files
goblint.zip
Files
(23.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:0ab5b72028aaf76a0502fbc6921e50b2
|
23.4 MB | Preview Download |