All

4 repositories

CBS-Verification
Public
A verification tool developed in Coq for analyzing cloud block storage
coq theorem-proving formal-verification
coq theorem-proving formal-verification separation-logic cloud-block-store
Coq
•0•0•0•0•Updated May 17, 2023May 17, 2023
MRVerify
Public
Verify a MapReduce application operating on CBS
Coq
•0•0•0•0•Updated Nov 1, 2022Nov 1, 2022
CBSVerifi
Public
Verify the basic operations in cloud block storage
Coq
•0•1•0•0•Updated Jul 24, 2021Jul 24, 2021
A-Modeling-Language
Public
A toy language for modeling the architecture of cloud block storage
Coq
•0•0•0•0•Updated Jan 18, 2021Jan 18, 2021

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.