TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

Stop in-line (successors) breakpoint from firing when there are no May 9, 2022 lemmy
Update issue templates May 9, 2022 jonesmartins
Print functions cause const record domain/range disorder with May 3, 2022 lemmy
Evaluate POSTCONDITION even if (random) simulation finds a April 27, 2022 lemmy
Labels in liveness properties cause bogus TLC error. April 20, 2022 lemmy

#tlaplus https://t.co/q0eWTbRL2V

8 hours ago
https://t.co/VkBKPHTnxY

6 days ago
RT @DominikTornow: Another weekend, another weekend read, this time all about Specifying Systems (@tlaplus) TLA+ is not just a formal… https://t.co/qpiyLQvnOJ

2 months ago
RT @lemmster: Save the date: #tlaplus conference 2022 will be held on 22 September in St. Louis, Missouri (pre-conf of… https://t.co/mUDYm37nS5

2 months ago
It is not too late to submit your response to the #tlaplus community survey. Also, please tell your peers about it… https://t.co/2DrlDv0cJX

2 months ago