Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
Here you can share your experience with the project you are suggesting or its comparison with gobra. Optional.
A valid email to send you a verification link when necessary or log in.