PAT Pro
並行システム・モデル検査ツール
並行処理されるソフトウェアやマルチタスクスレッドのソフトウェア設計段階で、妥当性や安全性を確保する、CSPをモデル言語としたモデル検査ツールです。
並行システム設計支援ツール 『PAT Pro』のダウンロード (909.1Kb)
関連カタログ
PAT Proの関連カタログ
並行システム設計支援ツール 『PAT Pro』
株式会社NTTデータ オートモビリジェンス研究所
ヒトが持つ高度な知恵を駆使した自動化ソフトウェア技術を発明・提供することで、 消費者にとって便利で豊かになる次世代モビリティ社会を支える研究機関となることを目指します。
〒 222-0033
神奈川県横浜市港北区新横浜3-1-9 アリーナタワー