This is a model of Raft for
Runway. It includes a
.model file describing the state and how it changes, as well as a .js file
which can be used with
runway-browser to produce an
interactive visualization.
The model you find in this repo is an early draft and may not be correct. This is certainly not the official specification of Raft; if there is such a thing, it's raft.tla.
The view is very similar to RaftScope (code). This model is on its way to become RaftScope v2.0, but RaftScope is still easier to embed and has the replay mode that's useful for talks.