Can we have reachability properties in TLA⁺?

Related stories

• Can we have reachability properties in TLA⁺?ahelwer.ca
  Hacker News · 1 points · 4 days ago
• What TLA+ can and can't checkbuttondown.com
  Lobsters · 28 points · about 12 hours ago
• TLA+ modeling tipsmuratbuffalo.blogspot.com
  Lobsters · 22 points · 10 months ago
• An Introduction to TLA+ and Its Use in Partiesinnoq.com
  Lobsters · 30 points · over 3 years ago
• Typed properties in PHPstitcher.io
  Lobsters · 7 points · over 7 years ago
• The internet discovers TLA+. Now what?reasonable.io
  Hacker News · 96 points · 4 days ago

Related topics