viperproject/carbon

Verification-condition-generation-based verifier for the Viper intermediate verification language.

语言：Scala · GitHub 星标：39 · Fork：24

话题：verification · verification-condition-generation · viper

在 GitHub 上查看原仓库