Generic model checker for concurrent C programs (mirror repository) - View it on GitHub