MPI-SWS / genmc

Generic model checker for concurrent C programs (mirror repository)
148Updated last month

Alternatives and similar repositories for genmc:

Users that are interested in genmc are comparing it to the libraries listed below