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

Constant conversion into Set June 22, 2019
Using PTL back-end in Toolbox June 21, 2019
TLAPS: how to take a \beta-reduction step? June 20, 2019
TLA+ java libraries and mvn repository June 20, 2019
Reasoning with functions, except and cardinality June 20, 2019

TLA+ Project News

TLAPS Project News

Latest Tweets

The CfP for #tlaplus conf (https://t.co/rqI1TIWUmU) - pre-conf to @strangeloop_stl - ends in one week. #pluscal

9 hours ago
Ticktack, Ticktack, ... the CfP for #tlaplus conf (https://t.co/bZm1VuOL4u) ends 07/01. #pluscal https://t.co/AakwZVsuic

3 weeks ago
RT @strangeloop_stl: We are very pleased to present the full Strange Loop 2019 program! Check out this great set of talks and workshops! https://t.co/nABqGxuPsx

4 weeks ago
RT @CompSciFact: 'Thinking doesn't guarantee that we won't make mistakes. But not thinking guarantees that we will.' -- Leslie Lamport

1 month ago
"Request for requirements" https://t.co/C8LG8YnzwG

1 month ago

Proudly powered by WordPress