Sort by:
Order:

05 Nov 20

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

https://probablydance.com/2020/10/31/using-tla-in-the-real-world-to-understand-a-glibc-bug/

This article illustrates how to use TLA+ to formally verify (and find bugs) glibc’s pthread_cond_signal implementation.

by mlb 5 years ago
Tags: