法人向け
業種・対象顧客は公開情報をもとに AI が推定したものです。持株会社など グループ経営の会社では、主要な事業会社の業種を表示します。実態と 異なる場合は お問い合わせください。
株式会社フォーマルテックは、形式手法の普及拡大を目指すモデル検査の専門企業です。同社は、システムが取り得る全ての状態とパスを網羅的に検査し、不具合を確実に発見するモデル検査技術を核としたサービスを提供しています。主な事業内容として、モデル検査の導入支援、モデル検査技術者の育成、設計モデル検査ツールの開発、およびモデル検査業務の請負（第三者検証）を展開しています。導入支援では、50件以上のシステムへの適用実績と長年のノウハウを活かし、顧客企業の状況に応じた初級セミナーや技術者育成プログラムを提供。設計モデル検査ツールの開発では、設計プロセスにおけるモデル検査の自動化を支援し、NuSMV専用言語モデルの自動生成や検査式の自動生成・作成支援、NuSMVの高速化・省メモリ化、反例解析支援などの機能を実現します。また、第三者検証としてモデル化から検査式の作成、実行、反例解析までの一連のモデル検査業務、およびアプリケーションのテスト業務を請け負い、開発側とユーザー側の両視点から品質向上に貢献します。同社の強みは、20年以上のモデル検査適用経験と、モデル検査ツールの内部構造まで深く理解した専門知識にあり、これによりシステム開発の上流から下流プロセスまで一貫した品質向上をサポートしています。製品としては、国産モデル検査ツールの開発を進めるほか、既存のモデル検査ツールNuSMVを使いやすくする支援ツールも提供しています。顧客は、システム開発の品質向上を目指す企業や組織であり、同社は形式手法の専門家として、その高度な技術と豊富な実績で信頼を築いています。
2026年4月30日 時点。この概要は AI を利用して公開情報から抽出しています。事実と異なる箇所がある場合は お問い合わせください。
従業員数（被保険者）
1人 · 2026年7月
32期分（2023/12〜2026/07）
このデータをAIで活用
Claude / ChatGPT / Cursor などの MCP 対応クライアントから、株式会社フォーマルテックの決算・登記履歴・役員・関係企業・知財・公共調達などの構造化データを直接取得できます。無料 20 クレジット/月で利用可能、9 種類のツールを提供。
接続方法を見る株式会社計算科学研究所
株式会社計算科学研究所は、兵庫県立大学発ベンチャーとして2022年4月1日に創業しました。同社は、兵庫県立大学鷲津研究室が培ってきた高度な計算科学技術を社会実装…
株式会社ジェイメディシン
株式会社ジェイメディシンは、韓国iMediSync社の日本総代理店として、精神・神経疾患の診断とケアにおけるパラダイムシフトを実現するAIベースのデジタルメンタ…
ＷｒａｐＴａｇ株式会社
ＷｒａｐＴａｇ株式会社は、物理的なコレクションアイテムや作品と唯一無二の証明書NFT（非代替性トークン）を紐付ける革新的なソリューション「WrapTag」を提供…
ａ２ｅｅ株式会社
a2ee株式会社は、ニューノーマル時代における新しい設計思想に基づき、現場のエッジコンピューティングとAI解析を組み合わせたネットワークソリューションを提供する…
エクスアールジョン株式会社
エクスアールジョン株式会社は、3D開発および制作を主軸に、先進的なXR技術とAI技術を融合した多角的な事業を展開するテクノロジー企業です。同社の主要事業は、CG…
株式会社Ｆｕｎｃｔｉｏｎ
株式会社Functionは、東京大学と神戸大学の研究を基盤とし、膨大なデータと人流・交通流モデルを組み合わせることで、安全で快適な都市空間の実現を目指す大学発ベ…
株式会社センサーズ・アンド・ワークス
株式会社センサーズ・アンド・ワークスは、センサIoT、データサービス、およびセンシングデバイス・計測技術開発を主軸とする企業です。同社は、人検知技術をはじめとし…
株式会社ＲＯＸ
株式会社ROXは、「人生をおもしろくする。世の中をおもしろくする。」という理念のもと、AIアプリケーション開発、データ解析、研修事業を展開する技術ベンチャーです…
株式会社ウェブジョブズ
株式会社ウェブジョブズは、Cookieレス時代に対応した純国産のWeb自動分析ツール「QA ZERO」の開発・提供を主要事業としています。同社は、Googleア…
ホルトプラン合同会社
ホルトプラン合同会社は、「共に喜びを、技術に謙虚に」を信念に、未来の農業や快適な社会の実現に貢献する先進技術の開発・提供を行う企業です。同社の事業領域は、農業I…
株式会社ロボマインド
株式会社ロボマインドは、AI・人工知能開発およびシステム開発を主要事業とする企業です。同社は特に、汎用人工知能に意識と心を持たせることを目指す「ロボマインド・プ…
株式会社ポコアポコネットワークス
株式会社ポコアポコネットワークスは、AIとIoT技術を核に、地域社会のデジタルトランスフォーメーション（DX）と豊かな生活の実現に貢献する企業です。同社は、電気…
株式会社アリガトサン
合同会社アリガトサンは、LLM活用システム開発、AIエージェント/SaaS開発、IPコンテンツ企画・グッズ販売、Web/モバイルアプリ・ゲーム開発を主要事業とす…
デジタルヒューマン株式会社
デジタルヒューマン株式会社は、AI（人工知能）を活用したデジタルヒューマンの研究、企画、開発、運用、保守を手掛ける企業です。同社は、2015年に身体にハンディキ…
株式会社みらい翻訳
