兵庫県神戸市須磨区に所在する、2011年設立・社会保険被保険者数1名のIT・ソフトウェア（AI・データ分析）企業。
- 所在地
- 〒654-0152 兵庫県 神戸市須磨区 東落合３丁目１４番２５号
- 法人番号
- 6140001034110
Google ワンタップ・30 秒 ／ ログイン
兵庫県神戸市須磨区に所在する、2011年設立・社会保険被保険者数1名のIT・ソフトウェア（AI・データ分析）企業。
法人向け
業種・対象顧客は公開情報をもとに AI が推定したものです。持株会社など グループ経営の会社では、主要な事業会社の業種を表示します。実態と 異なる場合はお問い合わせください。
株式会社フォーマルテックは、形式手法の普及拡大を目指すモデル検査の専門企業です。同社は、システムが取り得る全ての状態とパスを網羅的に検査し、不具合を確実に発見するモデル検査技術を核としたサービスを提供しています。主な事業内容として、モデル検査の導入支援、モデル検査技術者の育成、設計モデル検査ツールの開発、およびモデル検査業務の請負（第三者検証）を展開しています。導入支援では、50件以上のシステムへの適用実績と長年のノウハウを活かし、顧客企業の状況に応じた初級セミナーや技術者育成プログラムを提供。設計モデル検査ツールの開発では、設計プロセスにおけるモデル検査の自動化を支援し、NuSMV専用言語モデルの自動生成や検査式の自動生成・作成支援、NuSMVの高速化・省メモリ化、反例解析支援などの機能を実現します。また、第三者検証としてモデル化から検査式の作成、実行、反例解析までの一連のモデル検査業務、およびアプリケーションのテスト業務を請け負い、開発側とユーザー側の両視点から品質向上に貢献します。同社の強みは、20年以上のモデル検査適用経験と、モデル検査ツールの内部構造まで深く理解した専門知識にあり、これによりシステム開発の上流から下流プロセスまで一貫した品質向上をサポートしています。製品としては、国産モデル検査ツールの開発を進めるほか、既存のモデル検査ツールNuSMVを使いやすくする支援ツールも提供しています。顧客は、システム開発の品質向上を目指す企業や組織であり、同社は形式手法の専門家として、その高度な技術と豊富な実績で信頼を築いています。
2026年4月30日 時点。この概要は AI を利用して公開情報から抽出しています。事実と異なる箇所がある場合は お問い合わせください。
社会保険被保険者数
1人 · 2026年9月
34期分（2023/12〜2026/09）
被保険者数 前年同月比
0人 · 2026年9月
前年同月 1人（2025年9月）→ 1人（0人）
このデータをAIで活用
Claude / ChatGPT / Cursor などの MCP 対応クライアントから、株式会社フォーマルテックの決算・登記履歴・役員・関係企業・知財・公共調達などの構造化データを直接取得できます。無料 20 クレジット/月で利用可能、9 種類のツールを提供。
接続方法を見る解放した会社と並べて比較できます
同地域・同業種で選定
同業種の企業を読み込み中
所在地を問わず同業種で選定
株式会社ジーデップ・アドバンス上場
セカンドサイトアナリティカ株式会社上場
株式会社ＦＲＯＮＴＥＯ上場
株式会社みらい翻訳
株式会社バカン
株式会社ライトアップ上場
株式会社ＲｅｖＣｏｍｍ
Ｒａｐｙｕｔａ Ｒｏｂｏｔｉｃｓ株式会社
