Using TLA+ in the Real World to Understand a Glibc Bug (2020)

(probablydance.com)

14 points | by Tomte a day ago ago