News for hackers. Stuff that matters.

A comment on A walkthrough tutorial of TLA+ and its tools: analyzing a blocking queue. Parent comment

Re:A walkthrough tutorial of TLA+ and its tools: analyzing a... by fizwhiz on Thursday March 05, 2020 @05:37PM (#22499115)
OT: I don't know if this level of rigor is employed by any major libraries. I know AWS has used it a great deal for their systems though notably recently[1]

[1] https://assets.amazon.science/c4/11/de2606884b63bf4d95190a3c...

[ Parent | on HN ]

There are no comments on this comment yet.