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

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

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

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

CodeSonar for Binaries
(x86, x86_64, ARM)

カバレッジ測定ツール

Testwell CTC++

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

CodeSentry

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

Codee

高精度静的解析ツール

CodeSonar

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

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

staq/Quantum++

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

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

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

Pc-Check^® UEFI

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

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

chronSUITE

車載ECU開発向けツール

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

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

GTrainer

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

GSIL