Does Polyspace (BugFinder and Code prover) support Ada language?

30 views (last 30 days)

Show older comments

Violeta on 14 Mar 2025

0
Link

Direct link to this question

https://se.mathworks.com/matlabcentral/answers/2175188-does-polyspace-bugfinder-and-code-prover-support-ada-language

Answered: Walter Roberson on 14 Mar 2025

Hello,

Our company has Polyspace Bug Finder and Code prover license.

Does Polyspace and current license support Ada language?

thanks!

0 Comments
Show -2 older commentsHide -2 older comments

Sign in to comment.

Sign in to answer this question.

Answers (1)

Walter Roberson on 14 Mar 2025

0
Link

Direct link to this answer

https://se.mathworks.com/matlabcentral/answers/2175188-does-polyspace-bugfinder-and-code-prover-support-ada-language#answer_1561832

https://www.mathworks.com/products/polyspace-ada.html

Polyspace Products for Ada

0 Comments
Show -2 older commentsHide -2 older comments

Sign in to comment.

Sign in to answer this question.

Categories

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Command-Line Only Options

Verification, Validation, and Test Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Command-Line Only Options

Find more on Command-Line Only Options in Help Center and File Exchange

Tags

Products

Release

R2024a

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!