Published April 28, 2021
| Version v1.0.0
Software
Open
Gobra: Modular Specification and Verification of Go Programs
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 | Download all |
|---|---|---|
|
md5:3adf9e78da3af41507374d5b0ba99de0
|
1.4 GB | Download |
|
md5:df66eb2fada23ba1ba4fbab2f5d2f964
|
13.3 kB | Preview Download |