KR21 epist prog verif 源码
认知程序验证者 安装Haskell并堆叠 用stack build 使用文档stack build --haddock 尝试例子: stack ghci ghci中的示例:>> dcAlpha2
文件列表
KR21-epist-prog-verif-master.zip
(预估有个47文件)
KR21-epist-prog-verif-master
Setup.hs
46B
package.yaml
1KB
src
ExampleDiningCryptographers.hs
4KB
ToSBV.hs
4KB
Logics.hs
12KB
Translation.hs
4KB
ToString.hs
4KB
dist-newstyle
暂无评论