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

Advanced fuzzing via Model Based Testing for Cosmos blockchains

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

Generate (message) sequence diagrams from TLA+ state traces

Model-based testing tool

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

Temporal Logic of Actions Modeling for Python

Parse the trace of TLC output and generate HTML with better format.

Markdown to LaTeX. Specs in TLA+

Python utilities for working with TLA+ specifications

Markdown to LaTeX

Transform GraphViz dot files produced by TLA+