tla-specification
There are 19 repositories under tla-specification topic.
ligurio/practical-fm
A gently curated list of companies using verification formal methods in industry
tlaplus/CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
ElliotSwart/pragmaticformalmodeling
An instructional website with progressively worked examples of TLA+ specifications and model checking.
fpaxos/fpaxos-tlaplus
TLA+ specification of Flexible Paxos
istoilkovska/synchronous-tla-benchmarks
Synchronous fault-tolerant distributed algorithms encoded in TLA+
dgpv/SASwap_TLAplus_spec
TLA+ specification for Succinct Atomic Swap smart contract
tezedge/tezedge-specification
TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus
decanus/rutschblock
A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
fpaxos/ffpaxos-tlaplus
TLA+ specification of Fast Flexible Paxos
miguelmota/tla-learning
Some examples and notes while learning TLA+ modeling language.
hop-protocol/tla-spec
📜 WIP Hop Protocol TLA+ Specification
tlaplus/lecture
The TLA+ Video Course by Leslie Lamport
miguelmota/tla-cookbook
A collection of various TLA+ examples and helper functions for learning.
VedantPimpley/HandshakeSpec
TLA+ specification of a TCP/IP 3-way handshake in multi-client environment.
dgpv/bip32_template_parse_tplaplus_spec
TLA+ specification of the parser for BIP32 path templates
semperos/river-crossing-spec
TLA Specification for the "Wolf, goat, and cabbage" puzzle (https://en.wikipedia.org/wiki/Wolf,_goat_and_cabbage_problem)
gitcordier/MarkdownToLaTeX
Markdown to LaTeX