TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

RT @AzureCosmosDB: The 8th of many Technical Blogs on Azure Cosmos DB database internals - TLA+ specification of the bounded staleness… https://t.co/4H1RHz8xdJ

3 weeks ago
RT @SommerPascal: I guess I'm not really using #tlaplus at the same abstraction levels everyone else seems to be using it, so this mi… https://t.co/bLV83U8a9D

1 month ago
RT @lemmster: Quick show of hands if you have relied on TLC's checkpointing within the last year. #tlaplus

2 months ago
RT @daniel_bilar: Instructive: Smoking out concurrency bugs in Java by @Hillelogram via @gnat https://t.co/kSbVj43OJM [TLA+ formal ve… https://t.co/vXgW6nV55n

2 months ago
Recordings of last week's #tlaplus community event in Oxford have been made available: https://t.co/aIH6quCB5e

2 months ago