Popular repositories Loading

1. PaxosMadeSimple PaxosMadeSimple Public

   A TLA+ formalization of the algorithm described in "Paxos Made Simple"

   TLA 21 2

2. MultiPaxos MultiPaxos Public

   MultiPaxos and Disk Paxos in TLA+ and PlusCal

   TLA 13 2

3. Distributed-termination-detection Distributed-termination-detection Public

   TLA+ formalization of a distributed termination-detection algorithm, including a proof checked with Apalache

   HTML 6 1

4. TLA-Library TLA-Library Public

   A TLA+ library of concepts that I used in other developments

   TLA 5

5. ivy-proofs ivy-proofs Public

   A repository to collect Ivy proofs of various distributed algorithms

   C++ 4 2

6. CPP-DPOR CPP-DPOR Public

   A model-checker inspired by Must

   C++ 4