C/C++の形式手法によるコード証明とは
出典シリーズ: Polyspace製品紹介
Polyspace Code Prover™ は、プログラムを実行することなく、コードに実行時エラーがないことを証明します。形式手法に基づいた抽象解釈を用いることで、ソフトウェアの振る舞いや可能な入力データを網羅し、数学的にコードの正確性を証明します。徹底的にコードを検証し、効率良く ソフトウェアの信頼性を確保します。
本ビデオよりも詳細な内容はこちらからご覧ください。
次世代システムに求められるソフトウェア検証技術 ~静的解析の価値と有効性~
Published: 2017 年 8 月 18 日
Sélectionner un site web
Choisissez un site web pour accéder au contenu traduit dans votre langue (lorsqu'il est disponible) et voir les événements et les offres locales. D’après votre position, nous vous recommandons de sélectionner la région suivante : .
Vous pouvez également sélectionner un site web dans la liste suivante :
Comment optimiser les performances du site
Pour optimiser les performances du site, sélectionnez la région Chine (en chinois ou en anglais). Les sites de MathWorks pour les autres pays ne sont pas optimisés pour les visites provenant de votre région.
Amériques
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
Asie-Pacifique
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)