GitHub repository: uuverifiers/tricera
Primary language: Scala
Created: 2019-03-05T08:54:56Z
Description: TriCera: a model checker for C programs