News for hackers. Stuff that matters.

A comment on Applying TLA+ in cloud systems [video]. Parent comment

Re:Applying TLA+ in cloud systems [video] by wallstprog on Tuesday December 15, 2020 @03:58PM (#25435166)
For instance, see this recent post about using TLA+ to find a concurrency bug in glibc's implementation of pthreads:

https://probablydance.com/2020/10/31/using-tla-in-the-real-w...

[ Parent | on HN ]

There are no comments on this comment yet.