GitHub repository: willrobert/esbmc-cpp
Primary language: C++
Description: ESBMC++ is a bounded model checker for C++ programs