A gently curated list of companies using verification formal methods in industry
-
Updated
Jun 9, 2020
#
tla-specification
Here are 7 public repositories matching this topic...
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
-
Updated
Jun 23, 2020 - TLA
TLA+ specification of Flexible Paxos
-
Updated
Nov 7, 2019 - TLA
A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
-
Updated
May 8, 2020 - TLA
TLA+ specification for Succinct Atomic Swap smart contract
-
Updated
Jun 3, 2020 - TLA
TLA Specification for the "Wolf, goat, and cabbage" puzzle (https://en.wikipedia.org/wiki/Wolf,_goat_and_cabbage_problem)
-
Updated
Oct 25, 2019 - TLA
TLA+ specification of Fast Flexible Paxos
-
Updated
Jun 22, 2020 - TLA
Improve this page
Add a description, image, and links to the tla-specification topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the tla-specification topic, visit your repo's landing page and select "manage topics."