BinksZhang/CBS-Verification

A verification tool developed in Coq for analyzing cloud block storage

Coq