viperproject/silicon

Symbolic-execution-based verifier for the Viper intermediate verification language.

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

话题：symbolic-execution · verification · viper

在 GitHub 上查看原仓库