GitHub repository: sandipghosal/tricera
Primary language: Scala
Description: TriCera: a model checker for C programs