项目描述 ：
We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.

高级语言： Coq

项目主页：

项目地址: git://github.com/tchajed/iris-simp-lang.git

创建时间： 2021-01-20T21:12:09Z
项目社区：https://github.com/tchajed/iris-simp-lang
开源协议：
下载