Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for tla tlaplus
tla
x
tlaplus
x
27 search results found
Drtlaplus
⭐
652
Dr. TLA+ series - learn an algorithm and protocol, study a specification
Blockingqueue
⭐
461
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
Practical Fm
⭐
437
A gently curated list of companies using verification formal methods in industry
Apalache
⭐
387
APALACHE: symbolic model checker for TLA+ and Quint
Communitymodules
⭐
243
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Learntla V2
⭐
146
Learn TLA+ for free! No prior experience necessary!
Tlacli
⭐
47
A script for running TLA+/TLC from the command line
Modelator
⭐
43
Model-based testing tool
Tla Plus Resources
⭐
42
Personal reading list/reference re: TLA+
Ewd998
⭐
41
Distributed termination detection on a ring, due to Shmuel Safra:
Ewd998
⭐
41
Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998
Lets Prove Blocking Queue
⭐
33
Proving a blocking queue deadlock free in a dozen different ways
Tla Web
⭐
32
TLA+ Web Explorer.
Tla Tools
⭐
27
TLA+ tools for Emacs
Tla Linearizability
⭐
27
Reading the linearizability paper with TLA+
Modelator Py
⭐
26
Utilities for the TLA+ ecoystem and model-based testing using TLA+.
Fbpmn
⭐
23
🔬 formal tools for BPMN
Tla Ci
⭐
20
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).
Crdt Tla
⭐
20
Specifying and Verifying CRDT Protocols using TLA+
Tlaplus_specs
⭐
18
Different TLA+ specifications, mostly for learning purposes
Specifica
⭐
17
Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)
Tla2json
⭐
16
Convert TLA+ output (and values) into JSON
Tlaplus_animation
⭐
16
A TLA+ module for animating TLC traces.
Tezedge Specification
⭐
16
TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus
Saswap_tlaplus_spec
⭐
10
TLA+ specification for Succinct Atomic Swap smart contract
Snapshot Isolation Spec
⭐
10
A formal specification of snapshot isolation in TLA+.
Tla Specs
⭐
8
TLA+ specifications of various protocols used by wallets in the nitro protocol.
Apalache Tests
⭐
5
Benchmarks for apalache
Related Searches
Python Tla (20)
Algorithms Tla (18)
Paxos Tla (17)
Tla Model Checking (17)
Java Tla (16)
Tla Pluscal (11)
Model Checking Tlaplus (9)
Tlaplus Pluscal (8)
Tla Formal Methods (8)
Tlaplus Tla Specification (8)
1-27 of 27 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.