tlaplus
There are 12 repositories under tlaplus topic.
- Language:TLA 1223
- Language:TLA 781
informalsystems / quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Language:TypeScript 586lemmy / BlockingQueue
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
Language:TLA 481ligurio / practical-fm
A gently curated list of companies using verification formal methods in industry
APALACHE: symbolic model checker for TLA+ and Quint
Language:Scala 410tlaplus / CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Language:TLA 257afonsonf / tlaplus-graph-explorer
A static web application to explore and animate a TLA+ state graph.
Language:JavaScript 193hwayne / learntla-v2
Learn TLA+ for free! No prior experience necessary!
Language:TLA 171- Language:Python 78
Advanced fuzzing via Model Based Testing for Cosmos blockchains
Language:Python 77fizzbee-io / fizzbee
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Language:Python 69tlaplus-community / tree-sitter-tlaplus
A tree-sitter grammar for TLA⁺ and PlusCal
Language:C 53- Language:TLA 52
- Language:Python 51
tlaplus-workshops / ewd998
Distributed termination detection on a ring, due to Shmuel Safra:
Language:TLA 46- Language:TLA 43
- Language:TLA 42
Proving a blocking queue deadlock free in a dozen different ways
Language:Dafny 42- Imperial-Computing-Notes
OliverKillane / Imperial-Computing-Notes
A selection of textbook-like course notes for the Imperial College Computing modules.
Language:TeX 41 Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
Language:TLA 40- Language:TLA 36
- Language:Haskell 31
- Language:Emacs Lisp 29
Utilities for the TLA+ ecoystem and model-based testing using TLA+.
Language:Python 28mryndzionek / tlaplus_specs
Different TLA+ specifications, mostly for learning purposes
Language:TLA 28dgpv / SASwap_TLAplus_spec
TLA+ specification for Succinct Atomic Swap smart contract
Language:TLA 25- Language:Haskell 24
- Language:TLA 22
- Language:Scala 22
Material for a workshop on Apalache and TLA+. To be populated with more examples.
cwi-swat / tla-ci
TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/978-3-030-67220-1_4) Based on Crooks' Isolation (https://dl.acm.org/doi/10.1145/3087801.3087802).
Language:TLA 20tezedge / tezedge-specification
TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus
Language:TLA 20decanus / rutschblock
A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
Language:TLA 18will62794 / snapshot-isolation-spec
A formal specification of snapshot isolation.
Language:TLA 18- Language:TLA 17
