Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
Home Page:https://gobra.ethz.ch
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool