Goblint
Published November 20, 2025 | Version v5
Software Open

Goblitch in SV-COMP 2026

Authors/Creators

  • 1. ROR icon University of Tartu
  • 2. ROR icon Masaryk University

Description

Goblitch verifier submitted to SV-COMP 2026.

Files

goblitch.zip

Files (50.1 MB)

Name Size Download all
md5:bcb33cd7f7786aeb18eed5151b1a7bb8
50.1 MB Preview Download

Additional details

Software

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