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 |
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