北京
国家知识产权局信息显示，航天中认软件测评科技（北京）有限责任公司申请一项名为“一种状态机检查方法、装置和计算机设备”的专利，公开号CN121303008A，申请日期为2025年12月。
专利摘要显示，本公开涉及计算机技术领域，尤其涉及一种状态机检查方法、装置和计算机设备；方法包括：获取状态机对应的语法树和目标检查事项，目标检查事项包括检查对象和检查规则；从语法树中查找与检查对象对应的目标子树；判断目标子树是否符合检查规则；根据判断结果确定状态机的规范性；本方案通过定位和遍历目标子树，实现了对状态机规范性的自动化检查，还降低了人工检查的成本，确保了检查覆盖率，还降低了在综合和仿真阶段出错的概率，提高了状态机的维护效率。
天眼查资料显示，航天中认软件测评科技（北京）有限责任公司，成立于2013年，位于北京市，是一家以从事科技推广和应用服务业为主的企业。企业注册资本1197.6066万人民币。通过天眼查大数据分析，航天中认软件测评科技（北京）有限责任公司参与招投标项目582次，财产线索方面有商标信息9条，专利信息54条，此外企业还拥有行政许可8个。
声明：市场有风险，投资需谨慎。本文为AI基于第三方数据生成，仅供参考，不构成个人投资建议。
本文源自：市场资讯
作者：情报员
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
