Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
Primary LanguageScalaOtherNOASSERTION
This repository is not active