Polyspace Code Prover

新機能

R2014a (バージョン 9.1)

リリース日: 2014年3月6日

R2014a で提供される Version 9.1 では、以下の機能が強化されています。

  • ビルド システムからの自動プロジェクト セットアップ
  • GNU 4.7 および Microsoft Visual Studio C++ 2012 の言語のサポート
  • 日本語ドキュメンテーション
  • HTTPS による Polyspace メトリクスのセキュリティ向上
  • Polyspace メトリクスのプロジェクトへのパスワードで保護されたアクセス

今すぐアップデート

製品評価版の入手または製品の購入