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+.
The Official Plugin for ProjectKorra.
Learn TLA+ for free! No prior experience necessary!
APALACHE: symbolic model checker for TLA+ and Quint
TLA+ language support for Visual Studio Code
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
Command line binaries for the TLA+ language
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
Interactive, web-based environment for exploring TLA+ specifications.
Codebase for the ADL Initiative's Total Learning Architecture (TLA) reference implementation. Once matured and implemented, the TLA will enable personalized, data-driven, and technology-enabled lifelong learning across the DoD, other Federal Government agencies, and beyond.
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
TLA+ specification for Succinct Atomic Swap smart contract
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."