LTWlanguages & frameworks ltw://languages

Sponsor

Language

Gobra

Program Verifier for the Go Programming Language

26.09Latest version

Facts

Latest version: 26.09 (October 13, 2026)
Kind: science project, software
Based on: Viper, Separation Logic and Abstraction
Licence: Mozilla Public License, version 2.0

Sources: Wikidata (CC0) · Wikidata Q116619880