GenMC: Model checking for concurrent C programs (via Forty-Bot) — discussion

#c #formalmethods