2 ms·

Author here. I'm also working on a related book covering distributed algorithms: https://www.stateright.rs/ https://www.stateright.rs/ It includes a comparison

• SkyMarshal 5y ago
  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.
  • jonnadal 5y ago
    Thank you!