viperproject / gobraLinks

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
133Updated 2 weeks ago

Alternatives and similar repositories for gobra

Users that are interested in gobra are comparing it to the libraries listed below

Sorting: