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