ソフトウェア開発支援・検証

ソフトウェアの開発とテストを強力に支援

ソフトウェア検証・品質向上ツール

高精度静的解析ツール

CodeSonar

アプリケーション実行速度高速化支援ツール

Codee

高精度バイナリSCAソリューション

CodeSentry

カバレッジ測定ツール

Testwell CTC++

バイナリコード向け高精度静的解析ツール

CodeSonar for Binaries
(x86, x86_64, ARM)

ソフトウェア開発環境・テストツール

UEFI準拠ハードウェア診断ツール

Pc-Check^® UEFI

電源開発、パワーエレクトロニクス開発を加速するソリューション・サービスを提供

株式会社スマートエナジー研究所

量子コンピューティング向けコンパイラー/シミュレーター

staq/Quantum++

車載ECU開発・テストツール

車載ECUソフトウェア開発向けシミュレーションツール

GSIL

ECU制御ソフトウェア開発者向け学習パッケージ

GTrainer

車載ECU開発向けツール

Visu-IT!社の車載ECU開発向けツール、ミドルウエア

マルチECU対応タイミング検証ツール

chronSUITE