Making formal normal

当社はハードウェア検証におけるフォーマル検証の活用を日常化しようとするイギリスのAxiomise社と共感し、日本国内における "making formal normal" の実現に向けて活動を展開しています。

フォーマル検証を日常化するには、お客様のプロジェクトに参画してフォーマル検証導入の支援をするだけでなく、検証委託に基づくフォーマル検証サービスも実施いたします。また特定ドメインのアプリケーションや共通の設計課題、検証課題に対応するフォーマルアプリの提供も行います。そしてさまざまなレベル、さまざまな日数で展開するトレーニングコースやオンデマンドのトレーニング教材なども用意しています。

Axiomise社のCEO、Ashish Darbari氏にインタビューした模様を動画でご覧いただけます。