domodwyer
Follow
Lists (1)
Stars
4
results
for source starred repositories
written in TLA
Clear filter
A collection of TLA⁺ specifications of varying complexities.
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
Pluscal/TLA+ modeling of distributed systems/protocols