Updated 6 months ago

examples • Rank 11.1 • Science 77%

A collection of TLA⁺ specifications of varying complexities.

Updated 6 months ago

concurrentscc • Rank 1.1 • Science 54%

Prototypes of Concurrent Strongly Connected Components (SCC) algorithms

Updated 6 months ago

communitymodules • Rank 8.7 • Science 44%

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

Updated 6 months ago

tla-ci • Science 41%

TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/978-3-030-67220-1_4) Based on Crooks' Isolation (https://dl.acm.org/doi/10.1145/3087801.3087802).