INFO:
Prove the absence of run-time errors in software using Polyspace Code Prover .
What Is Polyspace Code Prover? - MATLAB & Simulink