TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

`TLCExt!TLCDefer` is a no-op in state constraints. Attach callable to November 23, 2022 lemmy
If a RecordValue is de-serialized with a potentially different November 17, 2022 lemmy
Ability to save TLC error trace in TLC's binary format. November 3, 2022 lemmy
Fix -dumpTrace output when initial state violates invariant October 23, 2022 dariusf
Make it possible to manually trigger a nightly build. October 14, 2022 lemmy

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

1 month 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

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

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

2 months ago
RT @lemmster: Save the date: The #tlaplus Community Event 2023 will be organized as a satellite event of ETAPS. https://t.co/emZ4FNtquW

2 months ago