Awesome Open Source

Programming Languages

Search results for tla model checking

model-checking x

15 search results found

Tlaplus ⭐ 2,154

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Tla Rust ⭐ 831

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

Blockingqueue ⭐ 461

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

Apalache ⭐ 387

APALACHE: symbolic model checker for TLA+ and Quint

Vscode Tlaplus ⭐ 327

TLA+ language support for Visual Studio Code

Tla Bin ⭐ 149

Command line binaries for the TLA+ language

Tlaplus_jupyter ⭐ 111

Jupyter kernel for TLA⁺

A script for running TLA+/TLC from the command line

Modelator ⭐ 43

Model-based testing tool

Distributed termination detection on a ring, due to Shmuel Safra:

Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998

Tlaplus_repl ⭐ 39

A simple REPL for the TLA+ language, using the TLC model checker.

TLA+ Web Explorer.

Modelator Py ⭐ 26

Utilities for the TLA+ ecoystem and model-based testing using TLA+.

Tlaplus_specs ⭐ 18

Different TLA+ specifications, mostly for learning purposes

Related Searches

Tla Tlaplus (40)

1-15 of 15 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.