会社概要

基本情報

• 社名: 株式会社フォーマルテック
• 本社所在地: 〒654-0152 兵庫県神戸市須磨区東落合3-14-25
• 代表者: 早水 公二
• 設立: 2011年

事業内容

株式会社フォーマルテックは形式手法の普及拡大を目指すモデル検査の専門企業です。

沿革

1994年　京都工芸繊維大学 電子情報工学科 卒業
1994年　メルコ・パワー・システムズ株式会社 入社（現 三菱電機ソフトウェア株式会社）
2002年　国立研究開発法人産業技術総合研究所 入職 → モデル検査の実用化に向けた研究に従事
2004年　メルコ・パワー・システムズ株式会社 復職 → 製品(システム)へのモデル検査の適用を開始
2011年　株式会社フォーマルテック 設立 → モデル検査の事業を開始

取引先

• 国立研究開発法人 宇宙航空研究開発機構(JAXA)様
• 公立大学法人 岡山県立大学(OPU)様
• 大学共同利用機関法人 情報・システム研究機構 国立情報学研究所(NII)様
• 一般社団法人 情報処理学会(IPSJ)様
• 国立研究開発法人 産業技術総合研究所(AIST)様
• 独立行政法人 情報処理推進機構(IPA)様

お問い合わせ先

• メール: otoiawase(at)formaltech.co.jp

情報取得日時: 2026-02-28 07:56
情報取得元: https://www.formaltech.co.jp