BinksZhang

BinksZhang's Stars

• PKUTCS/CSVerifi

  An implementation of the logic for verifying the correctness of cloud storage system in Coq

  Language:Coq2200

• BinksZhang/CBS-Verification

  A verification tool developed in Coq for analyzing cloud block storage

  Language:Coq1200