Published November 24, 2023
| Version svcomp24-0-gc2e9465a7
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.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:17c0415ae72561127bfd8f33dd51ed50
|
23.5 MB | Preview Download |