Consensus. Evolved.
Distributed Systems Consultancy
Raft · Paxos · Model checking · Formal verification
Distributed Systems Consultancy — Raft, Paxos, Model Checking, Formal Verification
Nine9s is a distributed systems consultancy. We design, specify, model-check, and formally verify consensus protocols — Raft, Paxos, and the systems that depend on them.
distributed systems consultancy·
raft·
paxos·
model checking·
formal verification·
distributed protocols·
TLA+·
PlusCal·
protocol verification·
consensus algorithm·
state machine replication·
leader election·
log replication·
atomic broadcast·
total order broadcast·
linearizability·
safety·
liveness·
quorum·
invariant·
specification·
crash fault tolerance·
network partition·
multi-paxos·
joint consensus