TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

Copy-to-clipboard does not work in VSCode extension. June 14, 2021 lemmy
Prevent race condition when an ALIAS expression involves the June 11, 2021 lemmy
Add a command-line alias '-noTE' for too verbose command June 9, 2021 lemmy
Print more errors in REPL. June 9, 2021 lemmy
Show an action's set of successor states under a "Successors" node in June 5, 2021 lemmy

RT @lemmster: If you or your company uses #tlaplus, please add yourself to https://t.co/8yj9ypNq4l Both pull requests or new iss… https://t.co/HCH7CgDPvK

4 days ago
RT @lemmster: A friendly reminder that the #CfP for the #tlaplus conference ends in 14 days on July 1st. https://t.co/039Z0mdAti… https://t.co/CHdQ0WuCoI

4 days ago
RT @lemmster: #tlaplus conf 2021 is on: https://t.co/XdMEyXsLlh Again, co-located with/pre-conf of @strangeloop_stl. Come to St… https://t.co/oHRhHz1lVK

1 month ago
RT @sadraskol: I'll present an introduction to TLA+ and first order logic tomorrow. Join us to leverage the power of an awesome sp… https://t.co/acrnk1nkzQ

3 months ago
RT @vanlightly: I have open sourced my TLA+ specification for Apache BookKeeper here: https://t.co/5OPTLUOY0x It detected a data l… https://t.co/7EC7kO6RkS

4 months ago