搜索筛选:
搜索耗时2.5739秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[会议论文] 作者：张[1]钱俊彦[2]李舟军[3]马殿富[3],
来源：第八届信息安全漏洞分析与风险评估大会 年份：2015
通常程序的不变式验证可转化为不动点求解问题,但直接计算不动点是非常困难的,故验证时态性质p常依赖于找到合适的辅助不变式q,使之满足Reach(M)(∈)[q](∈)[p].本文提出了两...
相关搜索：
