Deterministic Simulation Testing – applying simulation testing on Simple Paxos

poorlydefinedbehaviour.github.io