News for hackers. Stuff that matters.

A comment on Using TLA+ to Model Cascading Failures.

Re:Using TLA+ to Model Cascading Failures by victor106 on Thursday April 11, 2019 @11:37AM (#19635679)
Anyone here can shed some light on how to incorporate tla+ into an agile process?
[ Parent | on HN ]
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 ]