原创力文档- 0
- 0
- 约3.56万字
- 约 26页
- 2023-05-09 发布于四川
- 举报
本发明公开了全自动分布式一致性的分析方法、系统、设备及存储介质，它们是一一对应的技术方案，相关方案中：通过引入优化设计、并且可编码一致性语义的中间表达语言，将程序分析与一致性分析（弱一致性分析）解耦，从而大幅提高了分析的效率，使得分析现存的大中型网络应用程序成为可能，并且可以容许在程序分析中自由增加或混合不同的分析策略来处理不同的程序设计语言和高级开发框架，降低支持新语言或框架的技术成本；一致性分析时也可以根据具体输入自由选取不同的验证策略，提高分析效率；同时，通过本发明提供的方案使得多语言混合
(19)国家知识产权局
(12)发明专利申请
(10)申请公布号 CN 116069669 A
(43)申请公布日 2023.05.05
(21)申请号 202310212470.3
(22)申请日 2023.03.07
(71)申请人 中国科学技术大学
地址 2300
您可能关注的文档
- 一种基于交叠比优化的空间波位设计方法.pdf
- 一种基于国密算法的跨系统对接取数和数据安全流转方法.pdf
- 一种辅助喉罩置入装置.pdf
- 一种利用超声强化聚硫酸盐去除氟氯的新方法.pdf
- 一种采后柑橘生物保鲜剂及保鲜方法和应用.pdf
- 基于图神经网络的车载系统安全感知设计优化方法及设备.pdf
- 一种基于深度学习的SAR图像小目标检测识别方法及设备.pdf
- 一种函数库引用检测方法、装置、设备及可读存储介质.pdf
- 近红外光刺激巨噬细胞分泌外泌体的方法和外泌体.pdf
- 一种具有时滞和控制方向未知的汽车横向约束控制方法.pdf
- 沪教版五四制六年级上册数学 2分数 分数的大小比较课件2.pptx
- 沪教版五四制六年级上册数学 2分数 分数运算的应用课件1.pptx
- 沪教版五四制六年级上册数学 3比和比例 等可能事件课件1.pptx
- 沪教版五四制六年级上册数学 2分数 分数的加减法课件2.pptx
- 沪教版五四制六年级上册数学 比的基本性质 (3).pptx
- 沪教版五四制六年级上册数学 2分数 分数的乘法课件1.pptx
- 沪教版五四制六年级上册数学 2分数 分数的除法课件1(1).pptx
- 沪教版五四制六年级上册数学 百分数的应用一.pptx
- 护理伦理困境与解决方案.pptx
- 沪教版五四制六年级上册数学 百分比的应用.pptx
文档评论（0）