Pinned Loading

1. tlaplus/tlaplus tlaplus/tlaplus Public

   TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

   Java 2.3k 195

2. tlaplus/CommunityModules tlaplus/CommunityModules Public

   TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

   TLA 269 36

3. BlockingQueue BlockingQueue Public

   Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

   TLA 487 21

4. tlaplus-workshops/ewd998 tlaplus-workshops/ewd998 Public

   Distributed termination detection on a ring, due to Shmuel Safra:

   TLA 50 47

5. lets-prove-blocking-queue lets-prove-blocking-queue Public

   Proving a blocking queue deadlock free in a dozen different ways

   Dafny 42 5

6. tlaplus/vscode-tlaplus tlaplus/vscode-tlaplus Public

   TLA+ language support for Visual Studio Code

   TypeScript 354 31