Goblint
Published November 18, 2025 | Version svcomp26-0-gbb55b70d9
Software Open

Goblint in SV-COMP 2026

Authors/Creators

  • 1. ROR icon University of Tartu
  • 2. ROR icon Technical University of Munich
  • 3. ROR icon Ludwig-Maximilians-Universität München
  • 4. ROR icon National University of Singapore

Description

Goblint verifier and validator submitted to SV-COMP 2026.

Files

goblint.zip

Files (22.7 MB)

Name Size
md5:ecaea128acaff84222cf978af7376da8
22.7 MB Preview Download

Additional details

Software

Repository URL
https://github.com/goblint/analyzer
Programming language
OCaml
Development Status
Active