TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

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
Remove IOUtils from CommunityModules dependency from TLC's dumpTrace January 20, 2023 lemmy
Wrong module name shows up in a comment of *_TTrace specs. January 17, 2023 lemmy
Do not render stuttering transitions in DotStateWriter unless explicitly January 17, 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

3 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

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

3 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