Accelerating the pace of engineering and science

Verification Workflow for Model Based Design Using Polyspace and Simulink Design Verifier

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.

Product Focus

  • Polyspace Code Prover
  • Simulink Design Verifier