金融界2025年4月10日消息，国家知识产权局信息显示，中铁第六勘察设计院集团有限公司申请一项名为“基于Event-B的Java代码自动生成中内存安全验证方法”的专利，公开号CN 119782124 A，申请日期为2025年3月。

专利摘要显示，本发明公开了一种基于Event‑B的Java代码自动生成中内存安全验证方法，首先明确内存管理系统的功能需求、环境需求和安全需求，然后对内存管理系统进行抽象建模，定义系统的核心功能，包括内存分配、回收和状态管理等，通过形式化描述内存管理过程，确保系统行为的可验证性，精化策略从初始抽象模型开始，逐步引入不同的功能需求和安全需求进行精化，在每一步精化过程中，均对模型进行验证；构建从Event‑B到JML，再到Java代码的安全转换规则，并使用Isabelle/HOL定理证明器对系统行为的语义进行验证，确保了代码转换过程中内存操作的正确性，实现了从Event‑B模型到Java代码的安全转化。

天眼查资料显示，中铁第六勘察设计院集团有限公司，成立于2014年，位于天津市，是一家以从事专业技术服务业为主的企业。企业注册资本60000万人民币，实缴资本46586.73万人民币。通过天眼查大数据分析，中铁第六勘察设计院集团有限公司共对外投资了27家企业，参与招投标项目5000次，专利信息1283条，此外企业还拥有行政许可111个。