viperproject / gobraLinks
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
☆126Updated last week
Alternatives and similar repositories for gobra
Users that are interested in gobra are comparing it to the libraries listed below
Sorting:
- Goose converts a subset of Go to Rocq☆120Updated this week
- Verifying concurrent crash-safe systems