Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with tla-specification

A curated list of projects in awesome lists tagged with tla-specification .

https://github.com/ligurio/practical-fm

A gently curated list of companies using verification formal methods in industry

coq formal-methods formal-verification formal-verification-methods practice software-engineering tla-specification tlaplus

Last synced: 15 May 2025

https://github.com/tlaplus/CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

pluscal tla-specification tlaplus

Last synced: 26 Mar 2025

https://github.com/tlaplus/communitymodules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

pluscal tla-specification tlaplus

Last synced: 05 Mar 2025

https://github.com/ElliotSwart/pragmaticformalmodeling

An instructional website with progressively worked examples of TLA+ specifications and model checking.

formal-methods formal-verification tla-plus tla-specification

Last synced: 30 Nov 2024

https://github.com/tezedge/tezedge-specification

TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus

formal-verification tezos tezos-blockchain tla tla-specification tlaplus

Last synced: 28 Nov 2024

https://github.com/tlaplus/lecture

The TLA+ Video Course by Leslie Lamport

tla tla-plus tla-specification tlaplus

Last synced: 05 Mar 2025

https://github.com/hop-protocol/tla-spec

📜 WIP Hop Protocol TLA+ Specification

hop hop-protocol specification tla tla-plus tla-specification tlaplus wip wip-do-not-use

Last synced: 21 Apr 2025

https://github.com/semperos/river-crossing-spec

TLA Specification for the "Wolf, goat, and cabbage" puzzle (https://en.wikipedia.org/wiki/Wolf,_goat_and_cabbage_problem)

model-checking puzzle temporal-logic-of-actions tla-specification

Last synced: 05 Mar 2025