idea carbon 返回
项目作者： viperproject

项目描述 ：
Verification-condition-generation-based verifier for the Viper intermediate verification language.
高级语言： Scala
项目地址: git://github.com/viperproject/carbon.git
创建时间： 2020-02-20T10:50:49Z
项目社区：https://github.com/viperproject/carbon
开源协议：Mozilla Public License 2.0
下载