Super HN
New
Show
GenMC: Model checking for concurrent C programs
(plv.mpi-sws.org)
1 point by todsacerdoti 4 minutes ago