3 ms·LLBMC (Low-Level Bounded Model Checker) - Analyzes C/C++ code to detect bugs2 points by svedlin 15y ago