Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure. - View it on GitHub