Lists (1)
Starred repositories
6
results
for source starred repositories
written in TLA
Clear filter
Reading the linearizability paper with TLA+
An instructional website with progressively worked examples of TLA+ specifications and model checking.
Tool for automatically inferring inductive invariants of distributed protocols.
A formal specification of snapshot isolation.