Inferring and asserting distributed system invariants
Stewart Grant, Hendrik L. Cech, Ivan Beschastnikh · 2018
Distributed systems are difficult to debug and understand. A key reason for this is distributed state, which is not easily accessible and must be pieced together from the states of the individual nodes in the system.