本文へスキップ

〒654-0152 兵庫県神戸市須磨区東落合3-14-25

TEL/FAX. 078-796-3104
E-mail. info@formaltech.co.jp

会社概要COMPANY

社名
株式会社フォーマルテック
代表取締役
早水 公二
本社所在地
〒654-0152
兵庫県神戸市須磨区東落合3-14-25
TEL. 078-796-3104
FAX. 078-796-3104
設立
2011年
取引銀行
三井住友銀行

代表取締役 経歴


代表取締役 早水 公二


2002年にモデル検査という技術を初めて知りました。自身もソフトウェア開発技術者であったことから、これまではほぼ不可能と言われていたシステムの取り得る全ての状態と全てのパスの網羅的検査を実現する、モデル検査技術の最大の特徴であり、すばらしい能力に魅了されました。

この技術にずっと携わっていたい、産業界に広めたい、との強い思いからモデル検査の専門企業であるフォーマルテックを設立いたしました。

モデル検査技術は1990年台までは学術的な研究対象の域に留まっていましたが、近年の計算機の進歩によって産業界でも十分に実用できるところまで発展してきました。

モデル検査を含む形式手法はシステム開発の現場に革新をもたらす技術であると信じて、産業界での普及拡大を目指してまいります。
今後とも、ご支援とご鞭撻を賜りたく何卒よろしくお願い申し上げます。


1994年
京都工芸繊維大学 電子情報工学科      卒業
1994年
メルコ・パワー・システムズ株式会社     入社
2002年
国立研究開発法人産業技術総合研究所     入職
→ モデル検査の実用化に向けた研究に従事
2004年
メルコ・パワー・システムズ株式会社     復職
→ 製品(システム)へのモデル検査の適用を開始
2011年
株式会社フォーマルテック          設立
→ モデル検査の事業化に向けた活動を開始
非常勤講師歴任
トップエスイープロジェクト 非常勤講師
→ モデル検査事例演習/設計モデル検証(応用)SMV編

スマートエスイー 非常勤講師
K7 アーキテクチャ・品質エンジニアリング

東京工業大学        非常勤講師

北陸先端科学技術大学院大学 非常勤講師