gauravpartha / 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://gobra.ethz.ch
License: Other