BinksZhang

peking university

Pinned Repositories

CBS-Verification
A verification tool developed in Coq for analyzing cloud block storage
Language:Coq1 2 00
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
MRVerify
Verify a MapReduce application operating on CBS
Language:Coq0 2 00

BinksZhang's Repositories

BinksZhang/CBS-Verification
A verification tool developed in Coq for analyzing cloud block storage
Language:Coq1 2 00