项目描述 ：
Fault-tolerant distributed algorithms encoded in a formal language

高级语言： F*

项目主页：

项目地址: git://github.com/konnov/fault-tolerant-benchmarks.git

创建时间： 2014-11-01T21:27:07Z
项目社区：https://github.com/konnov/fault-tolerant-benchmarks
开源协议：Other
下载