AMC: Towards Trustworthy and Explorable CRDT Applications with the Automerge Model Checker.

Andrew Jeffery, Richard Mortier

Browse the full EuroSys paper archive.