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