法人向け
株式会社フォーマルテックは、形式手法の普及拡大を目指すモデル検査の専門企業です。同社は、システムが取り得る全ての状態とパスを網羅的に検査し、不具合を確実に発見するモデル検査技術を核としたサービスを提供しています。主な事業内容として、モデル検査の導入支援、モデル検査技術者の育成、設計モデル検査ツールの開発、およびモデル検査業務の請負（第三者検証）を展開しています。導入支援では、50件以上のシステムへの適用実績と長年のノウハウを活かし、顧客企業の状況に応じた初級セミナーや技術者育成プログラムを提供。設計モデル検査ツールの開発では、設計プロセスにおけるモデル検査の自動化を支援し、NuSMV専用言語モデルの自動生成や検査式の自動生成・作成支援、NuSMVの高速化・省メモリ化、反例解析支援などの機能を実現します。また、第三者検証としてモデル化から検査式の作成、実行、反例解析までの一連のモデル検査業務、およびアプリケーションのテスト業務を請け負い、開発側とユーザー側の両視点から品質向上に貢献します。同社の強みは、20年以上のモデル検査適用経験と、モデル検査ツールの内部構造まで深く理解した専門知識にあり、これによりシステム開発の上流から下流プロセスまで一貫した品質向上をサポートしています。製品としては、国産モデル検査ツールの開発を進めるほか、既存のモデル検査ツールNuSMVを使いやすくする支援ツールも提供しています。顧客は、システム開発の品質向上を目指す企業や組織であり、同社は形式手法の専門家として、その高度な技術と豊富な実績で信頼を築いています。
2026年4月30日 時点。この概要は AI を利用して公開情報から抽出しています。事実と異なる箇所がある場合は お問い合わせください。
従業員数（被保険者）
1人 · 2026年6月
31期分（2023/12〜2026/06）
このデータをAIで活用
Claude / ChatGPT / Cursor などの MCP 対応クライアントから、株式会社フォーマルテックの決算・登記履歴・役員・関係企業・知財・公共調達などの構造化データを直接取得できます。無料 20 クレジット/月で利用可能、9 種類のツールを提供。
接続方法を見るステラクレードル株式会社
ステラクレードル株式会社は、宇宙人工重力構造物の研究開発と、防災減災・救命・安否確認システムの開発を二つの主要事業として展開する企業です。同社は「ワールド防災セ…
株式会社計算科学研究所
株式会社計算科学研究所は、兵庫県立大学発ベンチャーとして2022年4月1日に創業しました。同社は、兵庫県立大学鷲津研究室が培ってきた高度な計算科学技術を社会実装…
株式会社ＭａｒｉｎｅＳＬ
株式会社MarineSLは、「デジタルなカルチャーを共に創る」をミッションに掲げ、海事産業のデジタル化を推進するスタートアップ企業です。同社は、海運業、造船業、…
株式会社ジェイメディシン
株式会社ジェイメディシンは、韓国iMediSync社の日本総代理店として、精神・神経疾患の診断とケアにおけるパラダイムシフトを実現するAIベースのデジタルメンタ…
エクスアールジョン株式会社
エクスアールジョン株式会社は、3D開発および制作を主軸に、先進的なXR技術とAI技術を融合した多角的な事業を展開するテクノロジー企業です。同社の主要事業は、CG…
株式会社ＲＯＸ
株式会社ROXは、「人生をおもしろくする。世の中をおもしろくする。」という理念のもと、AIアプリケーション開発、データ解析、研修事業を展開する技術ベンチャーです…
ホルトプラン合同会社
ホルトプラン合同会社は、「共に喜びを、技術に謙虚に」を信念に、未来の農業や快適な社会の実現に貢献する先進技術の開発・提供を行う企業です。同社の事業領域は、農業I…
株式会社センサーズ・アンド・ワークス
株式会社センサーズ・アンド・ワークスは、センサIoT、データサービス、およびセンシングデバイス・計測技術開発を主軸とする企業です。同社は、人検知技術をはじめとし…
株式会社ウェブジョブズ
株式会社ウェブジョブズは、Cookieレス時代に対応した純国産のWeb自動分析ツール「QA ZERO」の開発・提供を主要事業としています。同社は、Googleア…
株式会社ポコアポコネットワークス
株式会社ポコアポコネットワークスは、AIとIoT技術を核に、地域社会のデジタルトランスフォーメーション（DX）と豊かな生活の実現に貢献する企業です。同社は、電気…
株式会社アリガトサン
合同会社アリガトサンは、LLM活用システム開発、AIエージェント/SaaS開発、IPコンテンツ企画・グッズ販売、Web/モバイルアプリ・ゲーム開発を主要事業とす…
株式会社ロボマインド
株式会社ロボマインドは、AI・人工知能開発およびシステム開発を主要事業とする企業です。同社は特に、汎用人工知能に意識と心を持たせることを目指す「ロボマインド・プ…
株式会社テクノアクセルネットワークス
株式会社テクノアクセルネットワークスは、2011年4月の設立以来、自動車メーカーを中心に、通信システムやAI応用分野における「技術アイデアの可視化」「実現方法の…
株式会社テラアクソン
株式会社テラアクソンは、「人とAIが共生する未来を創る」ことをミッションに掲げ、全ての人生が豊かになる社会の実現を目指す神戸大学発のベンチャー企業です。同社は、…
株式会社ｅｆｔａｘ
株式会社eftaxは、「Tech for a Sustainable, Inclusive Tomorrow」を掲げ、AI、IoT、デジタル技術を活用した企業の…
株式会社ひょうご粒子線メディカルサポート
株式会社ひょうご粒子線メディカルサポートは、粒子線治療の導入支援とAI技術開発を通じて、高精度で安心できる医療の普及に貢献する企業です。同社の主要事業は、新規医…
デジタルヒューマン株式会社
デジタルヒューマン株式会社は、AI（人工知能）を活用したデジタルヒューマンの研究、企画、開発、運用、保守を手掛ける企業です。同社は、2015年に身体にハンディキ…
株式会社Ｄｉｇｅｏｎ
株式会社Digeonは、AIと独自の「積み木開発」手法を核に、企業のデジタルトランスフォーメーション推進を強力に支援するITソリューションプロバイダーです。同社…
株式会社タスデザイングループ
株式会社タスデザイングループは、「人の進化をソフトウエアで創る」という企業理念のもと、コンサルティング開発とデータサイエンスを融合し、顧客のビジネス課題解決を支…
ＣＡＭＥＬ株式会社
CAMEL株式会社は、多岐にわたるデジタルコンテンツ制作とAIチャットボットサービスを提供する企業です。同社の主要事業は、企業のDX化を促進するAIチャットボッ…
株式会社Ｍｏｍｏ
株式会社Momoは、「すべてのひとの笑顔の為にIoTが出来ること」をミッションに掲げ、専門知識や多大な開発費・時間を必要とせず、誰もが簡単にIoTシステムを構築…
株式会社ブレイン
株式会社ブレインは、1985年の設立以来、「Create Technology Serve Happiness」を経営理念に掲げ、通信・情報処理・制御・計測・放…
株式会社Ｇｏｄｏｔ
株式会社Ｇｏｄｏｔは、「ヒトを拡張し、個と社会を進化させる」をミッションに掲げ、行動科学とDeepTechを融合させたAI行動シミュレーション技術を開発・提供す…
サグリ株式会社
サグリ株式会社は、衛星データとAI技術を駆使し、農業が抱える多岐にわたる課題解決と持続可能な社会の実現を目指すインパクトスタートアップです。同社は「人類と地球の…
株式会社マプリィ
株式会社マプリィは、地理空間情報のアプリプラットフォーム「mapry」を中核事業とし、リモートセンシング、GIS、三次元情報等解析のアプリケーション開発、および…
ｍｏｎｏＡＩ ｔｅｃｈｎｏｌｏｇｙ株式会社
monoAI technology株式会社は、ゲーム開発で培った大規模通信技術とAI技術を核に、先進技術で社会の未来を創造する企業です。同社は主にXR事業、QA…
株式会社ナノコネ
株式会社ナノコネクトは、ICTソリューション事業を展開し、AI、ゲーミフィケーション、オートモーティブ、各種システム開発（スマホアプリ、組込み、クラウド、業務シ…
ＤＬｅａｄｅｒ株式会社
ＤＬｅａｄｅｒ株式会社は、AIエージェントを活用し、医薬品研究開発をより迅速かつスマートに進めることを目指すAI創薬プラットフォーム企業です。同社の主要サービス…
株式会社テラバース
株式会社テラバースは、人類が長きにわたり培ってきた伝統知、特に仏教の智慧と最新のテクノロジーを融合させ、新たな価値を創出する事業を展開しています。同社は、多種多…
合同会社スマートワイズ
合同会社スマートワイズは、AI技術を核とした多角的な事業を展開し、AIの力を活用して一人ひとりをエンパワーメントし、効率化と新たな価値創造を通じて豊かで持続可能…
株式会社自動レジ研究所
株式会社自動レジ研究所は、人追跡技術および顔認証技術を用いたレジセルフレジの社会実装に向けた実証実験を主要な事業内容としています。同社は、先進的なAI技術を活用…
株式会社Ｋｏｋｏｒｏｔｉｃｓ
株式会社Kokoroticsは、国立研究開発法人理化学研究所が開発した主観的気分測定ツール「KOKOROスケール」を用いた評価システムの開発、販売、およびコンサ…
岡システムコンサルティング株式会社
岡システムコンサルティング株式会社は、経営マネージメントの全体最適化を支援するITコンサルティングサービスを提供しています。同社は、エンドユーザー企業向けにデー…
株式会社エヌアンドエス
株式会社エヌアンドエスは、「AI技術で働く人の次のステージを支援する」をビジネスコンセプトに掲げ、総合人材支援と生成AIを活用したシステム開発を主軸に多角的な事…
