TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

RT @ahelwer: This presentation was outstanding! A must-watch if you want to learn how to squeeze more performance out of the TLA… https://t.co/RgObSU4sdw

1 day ago
RT @ahelwer: Started a thread on possible improvements to the TLA+ language after conversation with @Hillelogram https://t.co/2czDZwID17

2 weeks ago
Meet with the TLA+ community in July in Oxford (co-located with FM 2018, part of FLoC 2018) https://t.co/tk2u8bqGDQ

2 weeks ago
The TLA+ Video Course is now complete. Watch all ten lectures here: https://t.co/BejJwUMQV7

2 weeks ago
RT @parlar: I’m really happy with how my PyCon Canada 2017 talk turned out. It’s about TLA+ and PlusCal (truly useable and powe… https://t.co/Hylh5MqB7I

3 weeks ago