nano-o/PaxosMadeSimple nano-o/PaxosMadeSimple

  • Stars
    star
    18
  • Rank 1,201,342 (Top 24 %)
  • Language TLA
  • License
    MIT License
  • Created about 9 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nano-o/PaxosMadeSimple
github

nano-o

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

MultiPaxos

MultiPaxos and Disk Paxos in TLA+ and PlusCal
TLA
11
star
2

Distributed-termination-detection

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

TLA-Library

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

SCP-Verification

TeX
3
star
5

ivy-proofs

A repository to collect Ivy proofs of various distributed algorithms
2
star
6

IO-Automata

Formalisation of basic IO-Automata theory in Isabelle/HOL
Isabelle
2
star
7

ivy-method-in-isabelle

HTML
1
star
8

M2Paxos

TLA
1
star
9

Isabelle-Semitopology

HTML
1
star
10

rosette-testgen

Racket
1
star
11

Caesar

TLA
1
star