Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
-
Updated
Oct 27, 2024 - TLA
#
tlaps
Here are 8 public repositories matching this topic...
Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).
theorem-proving
model-checking
tlc
tla-hyperbook
lamport-specifying-systems
tlaplus-video-course
tlaplus
tlaps
-
Updated
Feb 16, 2022 - TeX
Examples for TLAPS (TLA+ Proof System)
-
Updated
May 9, 2020 - TeX
Jupiter Refinement Project
-
Updated
Nov 23, 2020 - TeX
TLA+ model checking and TLAPS theorem proving for the Paxos implementation in PaxosStore by WeChat
-
Updated
Aug 16, 2019 - TLA
Markdown to LaTeX
markdown
command-line-app
latex
markdown-parser
latex-document
xelatex
markdown-to-pdf
command-line-interface
tla-plus
tlaplus
tla-specification
tlaps
markdown-to-latex
-
Updated
Jun 23, 2023 - Python
Improve this page
Add a description, image, and links to the tlaps topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the tlaps topic, visit your repo's landing page and select "manage topics."