TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

Confusions about setting variant to NAT then getting it overriden August 23, 2019
Creating an array of structures whose elements have different starting conditions August 21, 2019
Scope of the QED keyword August 20, 2019
Record Equality August 20, 2019
The CASE keyword August 19, 2019

#tlaplus conf 2019 preview: "Compiling Distributed System Models into Implementations with PGo" by @bestchai… https://t.co/pjgWshfX90

17 hours ago
We've created a dedicated #tlaplus slack channel for the TLA+ pre-conf during @strangeloop_stl Come join us for ann… https://t.co/F3uBqs3CQQ

2 days ago
#tlaplus conf 2019 preview: "Exposing Design Flaws in Shared-Clock Systems with TLA+" by @mullr… https://t.co/uWtdeWYnBh

5 days ago
#tlaplus conf 2019 preview: "Fixing a MongoDB Replication Protocol Bug with TLA+" by @willyjschultz… https://t.co/uU03RegS2z

2 weeks ago
#tlaplus conf 2019 preview: "On Advocacy and Instruction" by @hillelogram https://t.co/iOqMhATHhq #pluscal /cc @strangeloop_stl

2 weeks ago