4 ms·LLBMC (the low-level bounded model checker) is a tool for finding bugs in C2 points by jenhsun 15y ago