This is pretty cool. Just want to copy-paste a paragraph from your link that sums up how it's different from other tools: >Cloud service providers like AWS an

This is pretty cool. Just want to copy-paste a paragraph from your link that sums up how it's different from other tools: >Cloud service providers like AWS and Azure leverage verification software such as the TLA+ model checker to achieve the same goal, but whereas those solutions typically verify a high level system design, Stateright is able to verify the underlying system implementation in addition to the design (along with providing other unique benefits explained in the "Comparison with TLA+" chapter). On the other end of the spectrum are tools such as Jepsen which can validate a final implementation by testing a random subset of the system's behavior, whereas Stateright can systematically enumerate all possible behaviors within a specified model of the system.