北京大学计算机理论实验室

块云存储验证项目组

Pinned Repositories

A-Modeling-Language
A toy language for modeling the architecture of cloud block storage
Language:Coq00
CBS-Verification
A verification tool developed in Coq for analyzing cloud block storage
Language:Coq0 1 00
CBSVerifi
Verify the basic operations in cloud block storage
Language:Coq1 2 00
MRVerify
Verify a MapReduce application operating on CBS
Language:Coq0 2 00

北京大学计算机理论实验室's Repositories

PKUTCS-CBS/CBSVerifi
Verify the basic operations in cloud block storage
Language:Coq1 2 00
PKUTCS-CBS/A-Modeling-Language
A toy language for modeling the architecture of cloud block storage
Language:Coq00
PKUTCS-CBS/CBS-Verification
A verification tool developed in Coq for analyzing cloud block storage
Language:Coq0 1 00
PKUTCS-CBS/MRVerify
Verify a MapReduce application operating on CBS
Language:Coq0 2 00