TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

Remove dead/obsolete code of prototypes no longer in use. August 4, 2021 lemmy
Revert "Combine original Spec with generated action constraint instea… August 4, 2021 lemmy
Combine original Spec with generated action constraint instead of August 4, 2021 lemmy
Fix all outstanding trace exploration on the command-line. August 4, 2021 lemmy
TLC prints an incomplete error trace iff an ALIAS is given, the debugger August 3, 2021 lemmy

RT @lemmster: Join the new #tlaplus group on LinkedIn https://t.co/jOxgngzkoO

1 month ago
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

2 months 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

2 months 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

3 months 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

5 months ago