北京
国家知识产权局信息显示，深圳开鸿数字产业发展有限公司申请一项名为“一种从源码到架构层的LiteOS-M内核形式化验证的方法、系统、计算机设备及介质”的专利，公开号CN122046339A，申请日期为2025年12月。
专利摘要显示，本发明公开了一种从源码到架构层的LiteOS‑M内核形式化验证的方法、系统、计算机设备及介质，方法包括：定义LiteOS‑M内核的基础模型，基于所述基础模型，根据待验证属性的验证需求定义对应的变量、通道，并建立对应的APA验证模型，其中，所述待验证属性包括：并发性和调度属性、安全性和隔离属性、性能属性；对所述待验证属性进行数学描述，形成性质规约，通过演绎推理将性质规约转化为线性时序逻辑公式；基于所述线性时序逻辑公式对所述待验证属性进行形式化验证。本发明可按照自上向下的关系，有效地拆分与组合待验证系统，构建对应的抽象功能模型，验证LiteOS-M内核源码到安全功能的一致性。
天眼查资料显示，深圳开鸿数字产业发展有限公司，成立于2021年，位于深圳市，是一家以从事软件和信息技术服务业为主的企业。企业注册资本76269.884579万人民币。通过天眼查大数据分析，深圳开鸿数字产业发展有限公司共对外投资了16家企业，参与招投标项目57次，财产线索方面有商标信息146条，专利信息801条，此外企业还拥有行政许可12个。
声明：市场有风险，投资需谨慎。本文为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.
