Giters

PKUTCS / CSVerifi

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

coqformal-verificationcloud-storagelanguage-designseparation-logic

CSSsVerification

An implementation of the logic for verifying the correctness of CSSs in Coq

About

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

coqformal-verificationcloud-storagelanguage-designseparation-logic

License:MIT License

Languages

Language:Coq 99.5%Language:Makefile 0.5%