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