tla-plus
Here are 20 public repositories matching this topic...
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
-
Updated
May 24, 2024 - Python
An instructional website with progressively worked examples of TLA+ specifications and model checking.
-
Updated
Jul 7, 2022 - TLA
The TLA+ Video Course by Leslie Lamport
-
Updated
Oct 27, 2021 - HTML
A collection of various TLA+ examples and helper functions for learning.
-
Updated
Jun 6, 2021
📜 WIP Hop Protocol TLA+ Specification
-
Updated
Jun 11, 2021 - TLA
Bitcoin layer 2 contracts specifications using TLA+
-
Updated
Oct 24, 2023 - TLA
The TLA+ template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral formal verification environments in the cloud.
-
Updated
Aug 17, 2021 - TLA
The PacketLab Access Control Design TLA+ Specification
-
Updated
Dec 16, 2021 - TLA
Designing a safety critical smart hospital management system, modelling it using UML/NFA, creating formal specifications using TLA+ and verifying it using TLC Model Checker.
-
Updated
Nov 26, 2021 - TLA
Achieving 'consensus' with n-nodes crash fault in synchronized rounds (implemented in TLA+)
-
Updated
Sep 6, 2018 - TeX
Temporal Logic of Actions in Rust via Starlark
-
Updated
Oct 30, 2023 - Starlark
Designing a safety critical smart hospital management system, modelling it using UML/NFA, creating formal specifications using TLA+ and verifying it using TLC Model Checker.
-
Updated
Nov 26, 2021 - TLA
Markdown to LaTeX
-
Updated
Jun 23, 2023 - Python
-
Updated
Aug 8, 2023 - TLA
Improve this page
Add a description, image, and links to the tla-plus topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the tla-plus topic, visit your repo's landing page and select "manage topics."