leandernikolaus/gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
ScalaNOASSERTION
Stargazers
No one’s star this repository yet.
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
ScalaNOASSERTION
No one’s star this repository yet.