会社概要COMPANY
- 社名
- 株式会社フォーマルテック
- 代表取締役
- 早水 公二
- 本社所在地
- 〒654-0152
兵庫県神戸市須磨区東落合3-14-25
- 設立
- 2011年
- お取引実績
(公的機関のみ掲載)
(50音順) - 国立研究開発法人 宇宙航空研究開発機構(JAXA)様
公立大学法人 岡山県立大学(OPU)様
国立研究開発法人 産業技術総合研究所(AIST)様
大学共同利用機関法人 情報・システム研究機構 国立情報学研究所(NII)様
一般社団法人 情報処理学会(IPSJ)様
独立行政法人 情報処理推進機構(IPA)様
代表取締役 ご挨拶と経歴
代表取締役 早水 公二
2002年にモデル検査という技術を初めて知りました。自身もソフトウェア開発技術者であったことから、これまではほぼ不可能と言われていたシステムの取り得る全ての状態と全てのパスの網羅的検査を実現する、モデル検査技術の最大の特徴であり、すばらしい能力に魅了されました。
この技術にずっと携わっていたい、産業界に広めたい、との強い思いからモデル検査の専門企業であるフォーマルテックを設立いたしました。
モデル検査技術は1990年台までは学術的な研究対象の域に留まっていましたが、近年の計算機の進歩によって産業界でも十分に実用できるところまで発展してきました。
モデル検査を含む形式手法はシステム開発の現場に革新をもたらす技術であると信じて、産業界での普及拡大を目指してまいります。
今後とも、ご支援とご鞭撻を賜りたく何卒よろしくお願い申し上げます。
- 1994年
- 京都工芸繊維大学 電子情報工学科 卒業
- 1994年
- メルコ・パワー・システムズ株式会社 入社
(現 三菱電機ソフトウェア株式会社) - 2002年
- 国立研究開発法人産業技術総合研究所 入職
→ モデル検査の実用化に向けた研究に従事 - 2004年
- メルコ・パワー・システムズ株式会社 復職
→ 製品(システム)へのモデル検査の適用を開始 - 2011年
- 株式会社フォーマルテック 設立
→ モデル検査の事業を開始 - 非常勤講師歴任
- トップエスイープロジェクト 非常勤講師
→ モデル検査事例演習／モデル検査入門��(SMV編)
スマートエスイー 非常勤講師
→ K19_品質エンジニアリング(モデル検査編)
東京工業大学 非常勤講師
北陸先端科学技術大学院大学 非常勤講師