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 Thursday April 11, 2019 @11:39AM (#19635702)
Augmenting Agile with Formal Methods: https://www.hillelwayne.com/post/augmenting-agile/
[ Parent | on HN ]

There are no comments on this comment yet.