Gobra: Automated, modular verifier for Go, based on Viper verificationgithub.com/viperproject3 pointsim_dario4 years ago