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

Seeking Formal Methods Engineers interested in TLA+ work in Zurich! December 14, 2018
TwoPhase refinement of TCommit in Agda : Some thoughts. December 14, 2018
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

TLA+ Project News

TLAPS Project News

Latest Tweets

RT @pressron: Verifying Software Traces Against a Formal Specification with TLA+ and TLC https://t.co/OS9KfgJu1o

1 day ago
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

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

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

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

1 month ago

Proudly powered by WordPress