• GenMC: Model checking for concurrent C programs https://plv.mpi-sws.org/genmc/ 3 comments 10/11/2024