05 Nov 20

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

by mlb