Login
From:
emptysqua.re
(Uncensored)
subscribe
Are We Serious About Using TLA+ For Statistical Properties?
https://emptysqua.re/blog/are-we-serious-about-statistical-properties-tlaplus/
links
backlinks
Tagged with:
formalmethods
Roast topics
Find topics
Find it!
Should the temporal logic of actions also do performance modeling?
