Geek Repo
followers
following
stars
Company:peking university
Github PK Tool:Github PK Tool
A verification tool developed in Coq for analyzing cloud block storage
An implementation of the logic for verifying the correctness of cloud storage system in Coq