#
tlaplus
Here are 76 public repositories matching this topic...
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
-
Updated
Aug 6, 2021 - TLA
A gently curated list of companies using verification formal methods in industry
practice
coq
software-engineering
formal-methods
formal-verification
tlaplus
tla-specification
formal-verification-methods
-
Updated
Jun 9, 2021
A static web application to explore and animate a TLA+ state graph.
-
Updated
Aug 12, 2021 - JavaScript
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
-
Updated
Aug 14, 2021 - TLA
A script for running TLA+/TLC from the command line
-
Updated
Apr 20, 2021 - Python
Proving a blocking queue deadlock free in a dozen different ways
-
Updated
Jun 2, 2021 - Dafny
Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
-
Updated
Aug 19, 2021 - TLA
Different TLA+ specifications, mostly for learning purposes
-
Updated
Oct 17, 2020 - TLA
TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus
-
Updated
Aug 18, 2021 - TLA
Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)
-
Updated
Jun 26, 2021 - Haskell
TLA+ specification for Succinct Atomic Swap smart contract
-
Updated
Jul 3, 2020 - TLA
A formal specification of snapshot isolation in TLA+.
-
Updated
Jul 18, 2019 - TLA
A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
-
Updated
May 8, 2020 - TLA
How to use TLA+ / TLA+ specification of the ClickHouse replication protocol
-
Updated
Jun 18, 2019 - TLA
TLA+ specifications of various protocols used by wallets in the nitro protocol.
-
Updated
Jun 12, 2020 - TLA
Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).
theorem-proving
model-checking
tlc
tla-hyperbook
lamport-specifying-systems
tlaplus-video-course
tlaplus
tlaps
-
Updated
Aug 13, 2021 - TeX
Temporal Logic of Actions Modeling for Python
-
Updated
Mar 27, 2021 - Python
Formal models of vac protocols
-
Updated
Mar 18, 2020 - TLA
TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. Based on Crooks' Isolation (https://dl.acm.org/doi/10.1145/3087801.3087802).
-
Updated
Jul 23, 2021 - TLA
Improve this page
Add a description, image, and links to the tlaplus topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the tlaplus topic, visit your repo's landing page and select "manage topics."