TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

add fairness properties to a specification with PlusCal INSTANCEs February 17, 2019
Symmetry sets February 13, 2019
Fumbling Through TLA+ February 13, 2019
Temporal prop is violated, but error-trace doesn't show it February 13, 2019
Seeking advice about principles of translating TLA+ spec to real code February 13, 2019

RT @lemmster: What's your OS of choice to run TLC? #tlaplus

4 days ago
For those who cannot access the #tlaplus Google group or prefer a more classy interface, https://t.co/KmYOFIrZKn hosts a (read-only) mirror.

1 week ago
RT @confCAV: Hello world! CAV conference twitter account is up and running. Better late than never :). Good luck with your submi… https://t.co/p6WS2bEihI

2 weeks ago
RT @mjjacko: Building A "Simple" Distributed System - Formal Verification by @vanlightly | #tlaplus #softwaredevelopment… https://t.co/ypFODH1rRr

2 weeks ago
RT @lemmster: Wondering what JVM flavor to choose? Turns out it doesn't matter much as long as you don't pick @openj9. #tlaplus https://t.co/TPjw8v9kWN

3 weeks ago