TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

TLC does not correctly compare integers or integer intervals due to November 13, 2019 lemmy
Update the embedded Java runtime to the current version (13). November 13, 2019 lemmy
Prevent ClassCastException triggered by clicking the “Goto November 13, 2019 lemmy
Activate RCPTT tests on Windows. November 12, 2019 lemmy
- Remove Pipeline caching which seems to do nothing. November 12, 2019 lemmy

RT @lemmster: It comes with a #tlaplus spec: https://t.co/H94KeB2cjr https://t.co/EaOEElermk

5 days ago
RT @lemmster: @hillelogram @willyjschultz https://t.co/B1Ih41CR90

1 week ago
Please retweet. https://t.co/WghwaDN8JR

2 weeks ago
RT @lemmster: Should we repeat #tlaplus/#pluscal conf (https://t.co/ws3URLn3rl) already next year? What about adding an optional training day?

2 weeks ago
RT @trailofbits: Formal Analysis of the CBC Casper Consensus Algorithm with TLA+ https://t.co/fKDPeg34G9 https://t.co/9tBff7qC3e

3 weeks ago