Popular repositories Loading

1. kumar-b-tla kumar-b-tla Public

   Modeling and verifying Kumar's termination detection algorithm in B and in TLA+

   TLA 1

2. TLA-Recursion TLA-Recursion Public

   Forked from quicquid/TLA-Recursion

   Draft for a recursion module for TLA

   TLA

3. tla-lambdapi tla-lambdapi Public

   Makefile 1

4. BlockingQueue BlockingQueue Public

   Forked from lemmy/BlockingQueue

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

   TLA

5. casino_artifacts casino_artifacts Public

   Forked from verifythis/casino_artifacts

   TLA contribution to the Casino case study artefacts

   TLA