Hacker Next
GenMC: Model checking for concurrent C programsplv.mpi-sws.org
61 points by todsacerdoti 7 days ago | 3 comments