一、国内主要厂商

西安航天计算机技术研究所

- 依托航天科技集团，技术实力强，产品覆盖航空航天、汽车制造等领域，具有国际竞争力。

西安交大智能科技股份有限公司

- 西安交通大学科研背景，专注智能检测技术，核心产品应用于工业自动化和智能制造。

陕西华拓智能装备有限公司

- 工业自动化领域解决方案提供商，产品涵盖智能检测设备与系统集成。

西安西软科技有限公司

- 专注于模型验证软件，提供仿真模型验证、实时系统验证等工具，支持多领域应用。

西安博通软件有限公司

- 拥有丰富的行业经验，产品覆盖工业自动化、交通运输等领域，以定制化解决方案著称。

二、其他地区代表性厂商

贵州云智数创科技有限公司：

三维模型检测领域领先，算法精度高且与高校合作紧密。

贵阳大数据应用技术研究院：结合大数据与模型检测，推动工业智能化发展。

三、国际知名厂商

MathWorks

- 提供MATLAB、Simulink等工具，广泛应用于工程仿真、数据分析等领域。

IBM

- Rational Rhapsody、DOORS等工具支持复杂系统设计与验证，适用于企业级项目。

ANSYS

- 专注于多物理场仿真，产品可模拟结构、流体力学等场景。

四、专业测试工具（补充）

Apache JMeter：

开源负载测试工具，适合Web应用性能评估。

LoadRunner：专业性能测试软件，支持大规模用户模拟。

总结

模型检测软件厂商可根据具体需求选择，国内企业如西安航天、西安交大等在技术研发和行业应用中表现突出，国际厂商如MathWorks、IBM则提供高端技术解决方案。选择时需关注技术实力、产品领域及案例匹配度。