There are 0 repository under tla-specification topic.
A gently curated list of companies using verification formal methods in industry
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
An instructional website with progressively worked examples of TLA+ specifications and model checking.
TLA+ specification of Flexible Paxos
TLA+ specification for Succinct Atomic Swap smart contract
TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus
A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
TLA+ specification of Fast Flexible Paxos
Some examples and notes while learning TLA+ modeling language.
📜 WIP Hop Protocol TLA+ Specification
A collection of various TLA+ examples and helper functions for learning.
TLA+ specification of a TCP/IP 3-way handshake in multi-client environment.
TLA+ specification of the parser for BIP32 path templates
TLA Specification for the "Wolf, goat, and cabbage" puzzle (https://en.wikipedia.org/wiki/Wolf,_goat_and_cabbage_problem)
Markdown to LaTeX