GitHub repository: woosh/tricera
Description: TriCera: a model checker for C programs