TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

path of `tlapm` files July 10, 2020
How to debug TLAPM July 6, 2020
To find the web page that contains a to-do list of projects on TLA+ and TLAPS July 5, 2020
error trace on assertion failure? July 4, 2020
TLA+ community meeting 2020 June 23, 2020

Evaluating trace expressions on longer traces (100+) makes TLC crawl to July 10, 2020 lemmy
Move comment up to improve readability. July 10, 2020 lemmy
Evaluating trace expressions on longer traces (100+) makes TLC crawl to July 10, 2020 lemmy
Write trace function to dedicated TLA+ module below SpecTE. July 10, 2020 lemmy
CHECK_DEADLOCK keyword interpreted as value. July 9, 2020 lemmy

RT @lemmster: awesome-tlaplus: https://t.co/sZxLIlkQgx (PRs welcome)

2 weeks ago
RT @lemmster: @MarcJBrooker Who uses refinement when writing #tlaplus specs?

2 weeks ago
RT @hillelogram: I'm offering a new online workshop, this time a 3 day TLA+ training! Learn how to find bugs in complex systems BEFO… https://t.co/qTSMCWNrVH

3 weeks ago
eXtreme Modelling in Practice, by @jessejiryudavis @visemet @judahschvimer On testing an implementation against a… https://t.co/haFduVkXOA

1 month ago
RT @lemmster: The new #tlaplus release has been published at https://t.co/VAG3w1C1GL

2 months ago