C/C++の形式手法によるコード証明とは
出典シリーズ: Polyspace製品紹介
Polyspace Code Prover™ は、プログラムを実行することなく、コードに実行時エラーがないことを証明します。形式手法に基づいた抽象解釈を用いることで、ソフトウェアの振る舞いや可能な入力データを網羅し、数学的にコードの正確性を証明します。徹底的にコードを検証し、効率良く ソフトウェアの信頼性を確保します。
本ビデオよりも詳細な内容はこちらからご覧ください。
次世代システムに求められるソフトウェア検証技術 ~静的解析の価値と有効性~
Published: 2017 年 8 月 18 日
Seleccione un país/idioma
Seleccione un país/idioma para obtener contenido traducido, si está disponible, y ver eventos y ofertas de productos y servicios locales. Según su ubicación geográfica, recomendamos que seleccione: .
También puede seleccionar uno de estos países/idiomas:
Cómo obtener el mejor rendimiento
Seleccione China (en idioma chino o inglés) para obtener el mejor rendimiento. Los sitios web de otros países no están optimizados para ser accedidos desde su ubicación geográfica.
América
- América Latina (Español)
- Canada (English)
- United States (English)
Europa
- 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)
Asia-Pacífico
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)