News for hackers. Stuff that matters.

A comment on Using TLA+ to Model Cascading Failures. Parent comment

Re:Using TLA+ to Model Cascading Failures by pron on Friday April 12, 2019 @07:58AM (#19643983)
It's very easy to specify such systems in TLA+. I think this becomes apparent as you learn it.
[ Parent | on HN ]

There are no comments on this comment yet.