tla 开源项目推荐（115 个）

tlaplus /tlaplus

TLC是TLA+编写的规范的模型检查器。TLA+收件箱是TLA+的IDE。

ligurio /sqa-wiki

My own notes (drafts mostly) about software quality

spacejam /tla-rust

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

apalache-mc /apalache

APALACHE: symbolic model checker for TLA+ and Quint

lemmy /BlockingQueue

Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

tlaplus /vscode-tlaplus

Visual Studio Code 的 TLA+ 语言支持

fizzbee-io /fizzbee

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

hwayne /learntla

A TLA+ guide

hwayne /learntla-v2

Learn TLA+ for free! No prior experience necessary!

anvil-verifier /anvil

Anvil is an experimental framework to build practical, formally verified, cluster management controllers.

will62794 /spectacle

Interactive playground for exploring and sharing TLA+ specifications in the browser.

DistCompiler /pgo

PGo is a source to source compiler from Modular PlusCal specs into Go programs.

pmer /tla-bin

Command line binaries for the TLA+ language

kelvich /tlaplus_jupyter

Jupyter kernel for TLA⁺

tlaplus /PlusPy

Python interpreter for TLA+ specifications

ProjectKorra /ProjectKorra

The Official Plugin for ProjectKorra.

informalsystems /modelator

Model-based testing tool

lemmy /lets-prove-blocking-queue

Proving a blocking queue deadlock free in a dozen different ways

fpaxos /fpaxos-tlaplus

TLA+ specification of Flexible Paxos

will62794 /tlaplus_repl

A simple REPL for TLA+.