3 ms·
Towards an Automatic Proof of Lamport's Paxos (2021) https://arxiv.org/pdf/2108.08796.pdf https://arxiv.org/pdf/2108.08796.pdf
by threatofrain 5y ago
Towards an Automatic Proof of Lamport's Paxos (2021)
https://arxiv.org/pdf/2108.08796.pdf https://arxiv.org/pdf/2108.08796.pdf