TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

TLA Homepage
Language
Projects
- TLA+ Tools
- TLAPS: A TLA+ Proof System
Community
TLA+ Search

Search for:

TLA+ Search

TLA+ Google Group

Ideas for model-checking probabilistic consensus systems? December 10, 2018
Trying to figure out how theorems work with this basic example December 8, 2018
What to do with distributed computing? December 2, 2018
Safe, regular or atomic registers November 30, 2018
Is it correct to use symmetry set in this spec? November 26, 2018

TLA+ Project News

TLAPS Project News

Latest Tweets

RT @pressron: A TLA+ specification of Tic-Tac-Toe in the Behavioral Programming style, after https://t.co/F04UNz34wi by David Har… https://t.co/eGC1xoOj2Q

6 days ago
@muratdemirbas talk on #cosmosdb as part of the Dr. #TLAPlus series is finally online. https://t.co/wfQvRbRCqJ

2 weeks ago
https://t.co/e0J94X6q9w

1 month ago
https://t.co/VS93EVVpVD

1 month ago
https://t.co/XOtKm73iZ6

1 month ago

Proudly powered by WordPress