TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

RT @DaveCTurner: Here is a report of an actual user hitting a super-obscure concurrency bug that we found & fixed using formal model… https://t.co/uU1cfZcqUw

2 days ago
RT @Hillelogram: I'm excited to announce that I'll be hosting a TLA+ workshop this August! You'll learn how to use formal methods to… https://t.co/nTNsMBZzWx

3 weeks ago
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

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

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

3 months ago