TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

Source code checked in, #649be1b5fa01af1a5836a6d63cbd88d57798c779 August 16, 2017
Source code checked in, #09f59639944b3a11e95a83bd8264bfb183acff09 August 16, 2017
Source code checked in, #93c9faaa36d80f5afecd2201071436ea9fbf2699 July 25, 2017
Source code checked in, #e63534412e88096d453db65b0bb8ad671dbc82ca July 25, 2017
Source code checked in, #d6d92daa7ae17551bfa94741e9ddf8a550852302 July 25, 2017

Commented Unassigned: TLAPM Error [44] April 26, 2017
Created Unassigned: TLAPM Error [44] April 24, 2017
Commented Unassigned: Unable to install TLAPS on Ubuntu 16.04 [43] October 6, 2016
Commented Unassigned: Unable to install TLAPS on Ubuntu 16.04 [43] October 6, 2016
Commented Unassigned: Unable to install TLAPS on Ubuntu 16.04 [43] October 6, 2016

In an ad-hoc performance comparison, the IBM JVM looses to the Oracle VM. TLC's throughput is approximately four times lower.

2 hours ago
We recently made a beta release of the #tlaplus Toolbox with Unicode support available. https://t.co/ZTOhLmCoKN

2 days ago
What kind of TLA+ examples would you like to see? #tlaplus https://t.co/FMexDeR8Fy

1 month ago
The most recent #tlaplus Toolbox build is now compatible with #java9. https://t.co/NOkJJsqLUA

1 month ago
Raise your hand, if a #tlaplus workshop in Oxford, UK in 2018 is appealing to you: https://t.co/GMPKqJdL0J

3 months ago