Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Jun 7, 2013
This is a short introductory tutorial to the Low-Level Bounded Model Checker LLBMC. LLBMC is a static analyzer for C and C++ programs. It can detect different kinds of program errors with high precision.