TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

Handle "Copy Value" requests from the VSCode DAP front-end. If the February 4, 2023 lemmy
The VSCode DAP front-end orders the elements of a sequence February 4, 2023 lemmy
Add documentation and code quality improvements to the wishlist January 30, 2023 Calvin-L
Add File.separator after BASE_DIR wherever it is used January 25, 2023 Calvin-L
Always dump the binary trace file when generating a trace expression January 20, 2023 lemmy

RT @lemmster: #tlaplus https://t.co/Q3WEpBJ4jF

2 months ago
RT @lemmster: "Obtaining Statistical Properties by Simulating #tlaplus Specs with TLC" by @vanlightly and myself. https://t.co/Fb03Snzofv

4 months ago
RT @DominikTornow: Another weekend, another weekend read, this time all about sleeping soundly with the help of @tlaplus @Calvin_L d… https://t.co/ZrQhuotTtf

4 months ago
RT @lemmster: "Formal Methods at Microsoft" by @BjornerNikolaj (Keynote at #tlaplus conf 2022) https://t.co/581ZiXJVpt /cc @strangeloop_stl

4 months ago
RT @heidiann360: @lemmster @MSFTResearch @Azure Yes, it does! The specification has proved invaluable when it comes to finding bugs… https://t.co/jJWbB0eyk4

4 months ago