TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

v2-tlapm installation failure January 22, 2020
Reusing TypeOK theorem in TLAPS January 21, 2020
Questionnaire about the tech scenario TLA+ is applied January 20, 2020
Question/Clarification about Lecture 6 (TwoPhase) - Deadlock detection needed? January 18, 2020
Is the latex source for specifying systems available? Or any other version of the published pdf file? January 17, 2020

Replace unstable Azure Pipeline builds with Github actions. January 24, 2020 lemmy
Replace unstable Azure Pipeline builds with Github actions. January 24, 2020 lemmy
Replace unstable Azure Pipeline builds with Github actions. January 24, 2020 lemmy
Replace unstable Azure Pipeline builds with Github actions. January 24, 2020 lemmy
Azure Pipelines will stop supporting Default Hosted, WinCon, and MacO… January 24, 2020 lemmy

small fixes in proofs of library and examples January 21, 2020 muenchnerkindl
remove some OCaml warnings, display "cvc4" instead of "cvc3", fix CVC… January 20, 2020 damiendoligez
added experiment on first-order LTL reasoning in examples-draft January 10, 2020 muenchnerkindl
pass over examples after fix of SMT axiom January 10, 2020 muenchnerkindl
fixed wrong axiom in SMT backend and updated library proofs January 4, 2020 muenchnerkindl

RT @lemmster: Stephan Merz's chapter on #tlaplus is freely available at: https://t.co/wLlUrfmty2

2 days ago
RT @MarcJBrooker: Our CACM paper on formal methods at AWS is on Hacker News this morning. It's always great to see interest in formal… https://t.co/fdajULEKh1

4 days ago
RT @confCAV: The list of accepted workshops is out. We have a few regular successful workshops and a few exciting newcomers! https://t.co/DLZfLPMVht

1 week ago
RT @lemmster: My top three of missing feature's in @alygin awesome #tlaplus extension for #vscode: 1) Trace Exploration 2) TLAPS… https://t.co/LwmlFFn6qv

1 week ago
RT @lemmster: From zero to browser-based #tlaplus model-checking in a single click: https://t.co/Ls03ZtCGqv /cc @alygin… https://t.co/J9js1NcjZI

1 week ago