Published November 8, 2024
| Version svcomp25-0-g5512d834b
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
(23.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:32d0f9e52c87e897d528f4094a76e274
|
23.1 MB | Preview Download |
Additional details
Software
- Repository URL
- https://github.com/goblint/analyzer
- Programming language
- OCaml
- Development Status
- Active