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

30 ビュー (過去 30 日間)

古いコメントを表示

Violeta 2025 年 3 月 14 日

0
リンク

この質問への直接リンク

https://jp.mathworks.com/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://jp.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 件のコメント
-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