HistMSO: A Logic for Reasoning about Consistency Models with MONA

Isabelle Coget, Étienne Lozes

Reasoning about consistency models for replicated data systems is a challenging task that requires a deep understanding of both the consistency models themselves and a large part o…