3 ms·Gobra: Automated, modular verifier for Go, based on Viper verification3 points by im_dario 4y ago