形式手法（Bメソッド）の実開発導入に向け、CAPES-B（コンソーシアム）を組み、研究開発をしています。
2012年3月17日に東洋大学で開催された「第9回CSP研究会」にて、弊社エンベデッドソリューション事業部の船津侑志が「Event-Bを用いたプロトコルのセキュリティ証明」の研究成果発表を行いました。

第9回CSP研究会プログラム