1) incorporates static code analysis technology that is obtained ... Now this technology has been applied to Simulink graphical programming environment. The new tool checks blocks in a Simulink ...