chapar
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
32 stars
13 watching
7 forks
Language: Coq
last commit: 9 months ago causal-consistencycoqcoq-extractiondistributed-systemsdocker-coq-actionkey-valuenix-actionocaml