Architectアドインおよび利用のための支援サービスです。Architectで作成したモデルに対して形式検証ツールを呼び出します。問題が発見された場合にはそこに至るまでの過程をモデル上のアニメーションで再現します。詳細は以下のページをご覧ください。https://www.kkeformalmethod.com/(現在、ツール試用版提供&無償での試解析を実施しているとのことです。連携して、このMBECに関連するセミナーを実施できるよう現在調整中です。詳細が決まりましたらお知らせいたします。