搜索筛选:
搜索耗时0.0816秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[学位论文] 作者：林开鹏,
来源：浙江理工大学 年份：2023
程序分析与验证是计算机科学中的重要研究课题之一。近年来,随着深度学习技术的发展,深度学习方法已被广泛应用于程序分析与验证。本文基于深度学习和反例制导研究了数值程序的Craig插值生成和秩函数生成等问题,主要研究内容如下:·Craig插值技术是循环程序不变......
相关搜索：
