Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
-
Updated
Sep 19, 2024 - Python
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
TLA+ language support for Visual Studio Code
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
A tree-sitter grammar for TLA⁺ and PlusCal
Formal verification of UML state machines with Promela and TLA+/PlusCal
TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/978-3-030-67220-1_4) Based on Crooks' Isolation (https://dl.acm.org/doi/10.1145/3087801.3087802).
Collection of useful "operators" (functions) to make TLA+ easier to learn and to use
Bully election algorithm model written in TLA+ and PlusCal
Implementation and validation of the model checking of various Distributed System algorithms like BenOr, Paxos, etc. using PlusCal and TLA+, also analyze the temporal and invariant properties.
How to use TLA+ / TLA+ specification of the ClickHouse replication protocol
Add a description, image, and links to the pluscal topic page so that developers can more easily learn about it.
To associate your repository with the pluscal topic, visit your repo's landing page and select "manage topics."