Published April 28, 2021 | Version v1.0.0
Software Open

Gobra: Modular Specification and Verification of Go Programs

Authors/Creators

  • 1. ETH Zurich
  • 2. ESI (TNO)

Description

Artifact for "Gobra: Modular Specification and Verification of Go Programs" containing the Gobra tool, its regression tests, and benchmarks.

Files

README.md

Files (1.4 GB)

Name Size
md5:3adf9e78da3af41507374d5b0ba99de0
1.4 GB Download
md5:df66eb2fada23ba1ba4fbab2f5d2f964
13.3 kB Preview Download

Additional details

Related works

Is supplement to
Conference proceeding: 10.1007/978-3-030-81685-8_17 (DOI)
Preprint: 10.48550/arXiv.2105.13840 (DOI)

Software

Repository URL
https://github.com/viperproject/gobra