文件名称：牛津大学CSP-FDR工具linux版本-2.94
文件大小：3.5MB
文件格式：ZIP
更新时间：2022-01-24 06:50:02
CSP验证工具 FDR 牛津大学
牛津大学出品的CSP验证工具，版本2.94 linux下的 直接配置环境变量就可以使用
【文件预览】：
FDR_workspace-master
----fdr2manual.pdf(48B)
----test.fdr2(312B)
----ConnPool.fdr2(14KB)
----README.md(329B)
----fdr-2.94-academic-linux64.tar.gz(3.52MB)