Published October 18, 2024
| Version svcomp25-0-g010c42226
Software
Open
Goblint at SV-COMP 2025
Creators
- 1. University of Tartu
- 2. Technische Universität München
- 3. Ludwig-Maximilians Universität München
Description
Goblint verifier and validator submitted to SV-COMP 2025.
Files
goblint.zip
Files
(22.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:0bb78e4e8ff092ff6226b1e9f119967c
|
22.6 MB | Preview Download |
Additional details
Software
- Repository URL
- https://github.com/goblint/analyzer
- Programming language
- OCaml
- Development Status
- Active