When I was writing a Haskell client library for Hyperdex, another distributed kv store, I found it incredibly helpful to implement a simulator for correctness.

When I was writing a Haskell client library for Hyperdex, another distributed kv store, I found it incredibly helpful to implement a simulator for correctness. This helped me identify which behavior was unspecified (arithmetic overflow: should error) or where my simulator deviated. https://github.com/AaronFriel/hyhac/blob/master/test/Test/HyperDex/Pool.hs#L449-L460 https://github.com/AaronFriel/hyhac/blob/master/test/Test/Hy... Alas, I think Hyperdex development paused a few years later. It's a shame that it stopped then.