My own notes (drafts mostly) about software quality
-
Updated
Feb 1, 2023
My own notes (drafts mostly) about software quality
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
APALACHE: symbolic model checker for TLA+ and Quint
TLA+ language support for Visual Studio Code
Learn TLA+ for free! No prior experience necessary!
Command line binaries for the TLA+ language
The Official Plugin for ProjectKorra.
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Interactive, web-based environment for exploring TLA+ specifications.
Model-based testing tool
Proving a blocking queue deadlock free in a dozen different ways
TLA+ specification of Flexible Paxos
Add a description, image, and links to the tla topic page so that developers can more easily learn about it.
To associate your repository with the tla topic, visit your repo's landing page and select "manage topics."