A selection of textbook-like course notes for the Imperial College Computing modules.
-
Updated
Mar 23, 2024 - TeX
#
tlaplus
Here are 10 public repositories matching this topic...
Examples for TLAPS (TLA+ Proof System)
-
Updated
May 9, 2020 - TeX
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
TLA+ Spec for the Cure Key-Value Store
-
Updated
Nov 23, 2020 - TeX
Chinese translation of hyperbook by Leslie Lamport on TLA+
-
Updated
Mar 21, 2020 - TeX
Formalization of the (VIS, AR) Specification Framework for Both Transactional and Non-Transactional Consistency Models
-
Updated
May 8, 2023 - TeX
Jupiter Refinement Project
-
Updated
Nov 23, 2020 - TeX
Improve this page
Add a description, image, and links to the tlaplus topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the tlaplus topic, visit your repo's landing page and select "manage topics."