TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

Support '-dumpTrace' in simulation mode. October 3, 2022 lemmy
Support '-dumpTrace' in simulation mode. October 3, 2022 lemmy
NPE when TLCExt is neither extended or instantiated. September 28, 2022 lemmy
Any (true or degenerated) action-level formula may be a watch September 27, 2022 lemmy
Revert "Violation breakpoints broken when InvariantViolatedException … September 27, 2022 lemmy

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

1 week ago
RT @muratdemirbas: [new blog post] TLA+ Conference and StrangeLoop 2022 https://t.co/ELJqwyukHo #tlaplus

1 week ago
RT @muratdemirbas: TLA+ Conference keynote is happening https://t.co/xb3PRCCrQI

2 weeks ago
RT @BjornerNikolaj: Excited to present a keynote on formal methods at Microsoft at the TLA+conferenve, tomorrow, Thursday. Come to lear… https://t.co/BICo3J9XND

2 weeks ago
RT @lemmster: Oracle Cloud Infrastructure Blog: Behind the Scenes: Sleeping soundly with the help of #tlaplus https://t.co/4QzXpm0gpQ

3 weeks ago