Sosp19. I4: Incremental Inference Of Inductive Invariants For Verification Of Distributed Protocols

This newspaper is yesteryear Haojun Ma (University of Michigan), Aman Goel (University of Michigan), Jean-Baptiste Jeannin (Unive…

The Ben-Or Decentralized Consensus Algorithm

In PODC 1983, Michael Ben-Or published a randomized distributed asynchronous consensus algorithm in a newspaper titled "Anot…

Wormspace: A Modular Foundation For Simple, Verifiable Distributed Systems

This newspaper is past times Ji-Yong Shin, Jieung Kim, Wolf Honore, Hernán Vanzetto, Srihari Radhakrishnan, Mahesh Balakrishnan, …

Modeling Streamlet Inwards Tla+

I had provided an overview of the Streamlet blockchain protocol inward my lastly post , delight read that before reading this pos…

Modeling Streamlet (Take Two)

This post is a sequel to my final 2 posts on Streamlet. The outset i explained the protocol . The 2nd i presented a outset draft …

Armada: Low-Effort Verification Of High-Performance Concurrent Programs

This paper appeared inward PLDI 2020 together with is authored yesteryear Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Pa…

Compositional Programming Together With Testing Of Dynamic Distributed Systems

This paper is authored past times Ankush Desai, Amar Phanishayee, Shaz Qadeer, together with Sanjit A. Seshia, together with it …

Building Distributed Systems Amongst Stateright

Stateright is a model checker for distributed systems. It is provided every bit a Rust library, in addition to it allows y'al…