TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

Temporal properties were violated in the simple euclid_gcd algorithm. June 7, 2018
Showing vs Telling June 6, 2018
How to end an increacing number TLA+ specification? May 23, 2018
No detailed information from TLA+ Parser Error May 20, 2018
Checking implementation May 19, 2018

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

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

1 month 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

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

2 months 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