68 skills found · Page 1 of 3
tlaplus / TlaplusTLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
tlaplus / ExamplesA collection of TLA⁺ specifications of varying complexities.
informalsystems / QuintAn executable specification language with delightful tooling based on the temporal logic of actions (TLA)
tlaplus / DrTLAPlusDr. TLA+ series - learn an algorithm and protocol, study a specification
ligurio / Practical FmA gently curated list of companies using verification formal methods in industry
ongardie / Raft.tlaTLA+ specification for the Raft consensus algorithm
tlaplus / CommunityModulesTLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Azure / Azure Cosmos TlaAzure Cosmos TLA+ specifications
will62794 / SpectacleInteractive playground for exploring and sharing TLA+ specifications in the browser.
tlaplus / PlusPyPython interpreter for TLA+ specifications
Vanlightly / Bookkeeper TlaplusA TLA+ specification of the Apache BookKeeper replication protocol
Vanlightly / Raft TlaplusTLA+ specifications for Raft and variants
hachikuji / Kafka SpecificationTLA+ specification of the Kafka replication protocol
Vanlightly / Kafka TlaplusTLA+ specifications for Kafka related algorithms
bugarela / Tla TransmutationElixir code and test generation from TLA+ specifications
ocadaruma / Tlaplus Intellij PluginIntellij plugin for TLA+ formal specification language.
Vanlightly / Vsr TlaplusTLA+ specifications related to Viewstamped Replication
ElliotSwart / PragmaticformalmodelingAn instructional website with progressively worked examples of TLA+ specifications and model checking.
fpaxos / Fpaxos TlaplusTLA+ specification of Flexible Paxos
mitchellh / Tlaplus Radix TreeTLA+ modules, specifications, and models for Radix trees.
