GitHub repository: marek-trtik/cbmc
Primary language: C++
Description: C Bounded Model Checker