TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

RT @miike: Linux kernel developers are using TLA+ to show their new spinlock is fair: https://t.co/FNXCzTdVZ8 The model is her… https://t.co/jH1YI13AQQ

4 days ago
TLA+ Community Meeting Program, 18 July, Oxford UK https://t.co/XarBjnn1AU

1 week ago
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 month ago
RT @ahelwer: Started a thread on possible improvements to the TLA+ language after conversation with @Hillelogram https://t.co/2czDZwID17

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

2 months ago