Goblint

There is a newer version of the record available.

Published November 5, 2025 | Version svcomp26-0-g780843455
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 Download all
md5:9b39dbcaf918a9e8a655293501d6b8af
22.7 MB Preview Download

Additional details

Software

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