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

New TLA+ Tools & Toolbox releases July 15, 2019
Operators interpretation -- leads_to July 12, 2019
NullPointer exception in TLC July 10, 2019
Tool Precise Guide July 5, 2019
When to use TLA+. July 5, 2019

TLA+ Project News

TLAPS Project News

Latest Tweets

The #tlaplus 1.6.0 release has been published: https://t.co/pcX9dW3NpO The 1.6.0 release comes with its own Java a… https://t.co/tjM7kM1HRp

3 days ago
RT @jeffweiss: You should go to #tlaplus conf (12 Sept) and see @mullr's talk: https://t.co/aApZjnzu9X

4 days ago
The program of #tlaplus conf has been published: https://t.co/QhvDdSrG5c #pluscal

7 days ago
Thanks for all the submissions to #tlaplus conf. The selection process is going to be a challenge. :-)

2 weeks ago
@strangeloop_stl 24 hours until the CfP closes: https://t.co/bZm1VuOL4u

2 weeks ago

Proudly powered by WordPress