nano-o/Distributed-termination-detection nano-o/Distributed-termination-detection

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    HTML
  • License
    MIT License
  • Created over 6 years ago
  • Updated 8 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nano-o/Distributed-termination-detection
github

nano-o

Reviews

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

Repository Details

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

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

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