Convergence and consensus are two closely-related properties of distributed systems. But how exactly are they related and what does it mean for formal verification? A few thoughts:
Nick Lewchenko from @cuplv will present our paper "Bolt-On Strong Consistency: Specification, Implementation, and Verification" at OOPSLA tomorrow. Come to Orchid West at 2:00 PM to learn about our technique to make Paxos and Raft implementations auto-verifiable! #icfpsplash25
