formal verification

Model Checking: Use Stateright to Formally Verify Raft Lite

This post introduces how I use stateright to formally verify Raft Lite, a rust implementation of Raft consensus algorithm.