arquintl / gobra Goto Github PK
View Code? Open in Web Editor NEWThis project forked from viperproject/gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
Home Page: https://www.pm.inf.ethz.ch/research/gobra.html
License: Other