Awesome Open Source

Programming Languages

Search results for model checking tlaplus

model-checking x

11 search results found

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

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: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998

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

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

Generate (message) sequence diagrams from TLA+ state traces

Tlaplus At Nju Disalg ⭐ 9

Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/peopl

Related Searches

Tla Tlaplus (40)

Python Model Checking (24)

Java Model Checking (20)

Tla Model Checking (17)

Formal Methods Model Checking (16)

Symbolic Model Checking (11)

Tlaplus Pluscal (8)

Tlaplus Tla Specification (8)

Smt Model Checking (7)

Rust Model Checking (7)

1-11 of 11 search results

Privacy | About | Terms | Follow Us On Twitter

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