GitHub repository: JonasOberhauser/genmc
Description: Generic model checker for concurrent C programs