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

Proving false with fairness March 25, 2019
Defining 3 successive states March 24, 2019
Invariant TCTypeOK is violated in a simple spec March 22, 2019
Understanding relation between pluscal and tla March 21, 2019
library of simple finite set properties? March 21, 2019

TLA+ Project News

TLAPS Project News

Latest Tweets

RT @lemmster: Who would object to TLC phoning home to report its startup banner (memory, num CPUs, Java version, ...)? We are not… https://t.co/ovR8H5uohZ

2 weeks ago
RT @vanlightly: I'll be speaking at the #heisenbug conference May 17-18 about TLA+ and testing distributed systems! https://t.co/sAGP7uY5wC

3 weeks ago
RT @lemmster: Unfortunately, no #gsoc for #tlaplus this year.

4 weeks ago
RT @fuzz_ai: I just published: "Reproducing a Memory-Tracking Bug with TLA+" https://t.co/poWn9kWx59 #TLAplus #ModelChecking

1 month ago
RT @lemmster: What's your OS of choice to run TLC? #tlaplus

1 month ago

Proudly powered by WordPress