Can we have reachability properties in TLA⁺? | Hacker News - But Better

Can we have reachability properties in TLA⁺?ahelwer.ca

2 points•ahelwer•4 days ago•0 comments•

#tla #properties #reachability #reachability properties

0 comments

No comments yet.

Related stories

Can we have reachability properties in TLA⁺?ahelwer.ca
Lobsters · 13 points · 4 days ago
What TLA+ can and can't checkbuttondown.com
Lobsters · 27 points · about 11 hours 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
What TLA+ can and can't checkbuttondown.com
Hacker News · 131 points · about 11 hours ago
I Put Jev Behind a TLA+ Spec and Ran 1,680 Chaos-Tested Pharmacy Decisions. Zero Wrong Verdicts.dev.to
DEV Community · 3 points · 11 days ago