视频与网上研讨会

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

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.

主題包括

  • Polyspace Code Prover
  • Simulink Design Verifier