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

29 次查看（过去 30 天）

显示更早的评论

Violeta 2025-3-14

0
链接

此问题的直接链接

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

回答： Walter Roberson 2025-3-14

Hello,

Our company has Polyspace Bug Finder and Code prover license.

Does Polyspace and current license support Ada language?

thanks!

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

请先登录，再回答此问题。

回答（1 个）

Walter Roberson 2025-3-14

0
链接

此回答的直接链接

https://ww2.mathworks.cn/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 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

请先登录，再回答此问题。

类别

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

在 Help Center 和 File Exchange 中查找有关 Command-Line Only Options 的更多信息

标签

产品

版本

R2024a

Community Treasure Hunt

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

Translated by