CBMC: A Bounded Model Checker for C and C++cprover.org2 points·felixr··0 commentsOpen articleSaveView on HN