login sign up

GenMC: Model checking for concurrent C programs

plv.mpi-sws.org
saved by
0 people
related read on
What TLA+ can and can't check from the discussion