MATLAB: Can I perform with code verification for Ada if I have Polyspace Bug Finder and PolySpace Code Prover

adacodepolyspacePolyspace Bug FinderPolyspace Bug Finder Serververification

Can I perform with code verification for Ada if I have Polyspace Bug Finder and PolySpace Code Prover?

Best Answer

Code verification for Ada requires the Polyspace Client for Ada, which is a separate product from PolySpace Bug Finder and PolySpace Code Prover. 
To purchase the PolySpace Client for Ada, please reach out to your company's MathWorks sales representative, or contact the MathWorks sales department.
Related Question