モデル検査技術を専門とする企業が設立された。社名は「フォーマルテック」。三菱電機系列のソフトウエア開発企業であるメルコ・パワー・システムズ（MPS）において、モデル検査技術の現場適用に携わってきた早水公二氏がこのほど独立し、設立した。モデル検査技術のコンサルティング、導入支援、支援ツール開発などの事業を手掛ける。 フォーマルテックの設立は2011年3月15日である。早水氏が代表取締役を務める。本社は兵庫県神戸市須磨区。主に車載分野やインフラ分野などの組み込みソフトウエア開発を手掛ける企業を対象に活動する。
この記事は会員登録で続きをご覧いただけます
-
会員の方はこちら
ログイン -
登録するとマイページが使えます
今すぐ会員登録（無料）
日経クロステックからのお薦め
日経BP 総合研究所がお話を承ります。ESG／SDGs対応から調査、情報開示まで、お気軽にお問い合わせください。
ブランド強化、認知度向上、エンゲージメント強化、社内啓蒙、新規事業創出…。各種の戦略・施策立案をご支援します。詳細は下のリンクから。
「デジタル＆ソリューション」をキーワードに、多様な事業を展開しています。
日経BPは、デジタル部門や編集職、営業職・販売職でキャリア採用を実施しています。デジタル部門では、データ活用、Webシステムの開発・運用、決済システムのエンジニアを募集中。詳細は下のリンクからご覧下さい。
