/cr-concuerror-experiments

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

Primary LanguageErlang

Stargazers