北京
国家知识产权局信息显示，北京广利核系统工程有限公司申请一项名为“一种内存管理模块的形式化验证方法及相关装置”的专利，公开号CN121523948A，申请日期为2025年11月。
专利摘要显示，本申请公开了一种内存管理模块的形式化验证方法及相关装置，涉及操作系统安全技术领域，包括：基于需求文档、设计文档与源代码，在交互式定理证明器中，依次构建需求层形式化模型、设计层形式化模型与实现层形式化模型，基于需求文档，在交互式定理证明器中构建需求层形式化规约，并在交互式定理证明器中完成对需求层形式化规约证明。建立设计层形式化模型与需求层形式化模型之间的第一精化关系，并在交互式定理证明器中完成对第一精化关系证明。建立实现层形式化模型与设计层形式化模型之间的第二精化关系，并在交互式定理证明器中完成对第二精化关系证明。若形式化规约、第一精化关系、第二精化关系被证明，则判定内存管理模块通过形式化验证。
天眼查资料显示，北京广利核系统工程有限公司，成立于2005年，位于北京市，是一家以从事仪器仪表制造业为主的企业。企业注册资本15000万人民币。通过天眼查大数据分析，北京广利核系统工程有限公司参与招投标项目5000次，财产线索方面有商标信息81条，专利信息778条，此外企业还拥有行政许可33个。
声明：市场有风险，投资需谨慎。本文为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.
