Ram Cherukuri, MathWorks
Verify embedded software, both at model and code level, to identify errors earlier in the development cycle. In complex systems, handwritten and auto generated code will be integrated together and this mixed code must be verified at the code level.