千葉県山武郡横芝光町に所在するIT・ソフトウェア（パッケージソフトウェア）企業。
- 所在地
- 〒289-1744 千葉県 山武郡横芝光町 木戸台１２５０番地
- 法人番号
- 2040002086478
Google ワンタップ・30 秒 ／ ログイン
千葉県山武郡横芝光町に所在するIT・ソフトウェア（パッケージソフトウェア）企業。
法人向け
業種・対象顧客は公開情報をもとに AI が推定したものです。持株会社など グループ経営の会社では、主要な事業会社の業種を表示します。実態と 異なる場合はお問い合わせください。
有限会社プレシステムは、ソフトウェア工学における形式手法を応用した独自のモデル検査ツール「NHK^#」の開発・提供を主要事業としています。同社のツールは、ビジネスプロセスのモデリングとシミュレーションを可能にし、BPMN、ペトリネット、シーケンス図、デシジョンテーブルなどで記述されたプロセスの情報フローを可視化し、安全訓練への刺激を提供します。また、線形時相論理で記述されたプロパティの充足可能性を検証し、反例を報告する検証・妥当性確認機能も有しており、プロセスに障害を注入した場合の動作確認も可能です。 特に、同社のモデル検査ツールは、システムのライフサイクルにおけるモデルの検証と、C言語などのプログラミング言語で記述された実際のコードのテストの両方に使用できる点が強みです。GDB上でバイナリコードを実行し、モデルとコードの構成を検査することで、検証プロセスで使用したモデルをテストプロセスで再利用することを可能にします。さらに、人間が引き起こす障害に起因する手順の堅牢性を分析するためのモデル検査アプローチも提案しており、障害注入手法を用いて、安全上重要な領域における信頼性と堅牢性を確保するための回復タスクの有効性を検証します。 提供サービスには、プロセス代数、時相論理、プログラミングに関するトレーニング、手順書プロトタイピング、検証・妥当性確認、自動堅牢性チェック、安全教育支援システムの提供が含まれます。同社のツールは、他のワークフロー管理ツールやモデル分析ツールへの組み込みも可能であり、幅広い顧客層のシステム開発や運用における信頼性向上に貢献しています。
2026年4月30日 時点。この概要は AI を利用して公開情報から抽出しています。事実と異なる箇所がある場合は お問い合わせください。
このデータをAIで活用
Claude / ChatGPT / Cursor などの MCP 対応クライアントから、有限会社プレシステムの決算・登記履歴・役員・関係企業・知財・公共調達などの構造化データを直接取得できます。無料 20 クレジット/月で利用可能、9 種類のツールを提供。
接続方法を見る解放した会社と並べて比較できます
同地域・同業種で選定
同業種の企業を読み込み中
所在地を問わず同業種で選定
株式会社トレードワークス上場
株式会社Ｗｏｒｋｓ Ｈｕｍａｎ Ｉｎｔｅｌｌｉｇｅｎｃｅ
株式会社セルシス上場
株式会社アルファクス・フード・システム上場
株式会社ユニリタ上場
株式会社ワークスアプリケーションズ
株式会社メドコム
株式会社図研上場
