形式手法（Bメソッド）の実開発導入に向け、ＣAＰEＳ－Ｂ（コンソーシアム）を組み、研究開発をしています。
本研究開発について、１１月１６日(水)～１８日(金)にパシフィコ横浜で開催される「組込み総合技術展 Embedded Technology 2011」の情報処理推進機構（IPA）ブースに出展します。