Read news on GenMC with our app.
Read more in the app
GenMC: Model checking for concurrent C programs
