slfritchie/cr-concuerror-experiments

Experiments using the Concuerror tool to verify that models of Chain Repair algorithms preserve CR's strong consistency properties

语言：Erlang · GitHub 星标：3 · Fork：1

在 GitHub 上查看原仓库