Skip to content
@PKUTCS-CBS

北京大学 计算机理论实验室

块云存储验证项目组

Popular repositories Loading

  1. CBSVerifi CBSVerifi Public

    Verify the basic operations in cloud block storage

    Coq 1

  2. A-Modeling-Language A-Modeling-Language Public

    A toy language for modeling the architecture of cloud block storage

    Coq

  3. MRVerify MRVerify Public

    Verify a MapReduce application operating on CBS

    Coq

  4. CBS-Verification CBS-Verification Public

    A verification tool developed in Coq for analyzing cloud block storage

    Coq

Repositories

Showing 4 of 4 repositories
  • CBS-Verification Public

    A verification tool developed in Coq for analyzing cloud block storage

    PKUTCS-CBS/CBS-Verification’s past year of commit activity
    Coq 0 0 0 0 Updated May 17, 2023
  • MRVerify Public

    Verify a MapReduce application operating on CBS

    PKUTCS-CBS/MRVerify’s past year of commit activity
    Coq 0 0 0 0 Updated Nov 1, 2022
  • CBSVerifi Public

    Verify the basic operations in cloud block storage

    PKUTCS-CBS/CBSVerifi’s past year of commit activity
    Coq 1 0 0 0 Updated Jul 24, 2021
  • A-Modeling-Language Public

    A toy language for modeling the architecture of cloud block storage

    PKUTCS-CBS/A-Modeling-Language’s past year of commit activity
    Coq 0 0 0 0 Updated Jan 18, 2021

Top languages

Loading…

Most used topics

Loading…