nano-o/M2Paxos nano-o/M2Paxos

  • Stars
    star
    1
  • Language TLA
  • Created about 8 years ago
  • Updated about 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nano-o/M2Paxos
github

nano-o

Reviews

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

Repository Details

More Repositories

1

PaxosMadeSimple

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

MultiPaxos

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

Distributed-termination-detection

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

TLA-Library

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

SCP-Verification

TeX
3
star
6

ivy-proofs

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

IO-Automata

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

ivy-method-in-isabelle

HTML
1
star
9

Isabelle-Semitopology

HTML
1
star
10

rosette-testgen

Racket
1
star
11

Caesar

TLA
1
star