hehbot / genmc-dpor Goto Github PK
View Code? Open in Web Editor NEWThis project forked from mpi-sws/genmc
Generic model checker for concurrent C programs (mirror repository)
Home Page: https://plv.mpi-sws.org/genmc
License: GNU General Public License v3.0