viperproject/gobra

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

语言：Scala · GitHub 星标：229 · Fork：45

话题：go · golang · verification

在 GitHub 上查看原仓库