不变式合成相关硕士博士期刊学术论文 - 信丰网

不变式合成相关论文

自动合成数组不变式

提出了基于抽象解释框架自动合成数组程序不变式的方法,它能够分析按照特定顺序访问一维或者多维数组的程序,然后合成不变式.该方......

期刊

不变式合成抽象解释数组程序 invariant synthesis abstract interpretation arrays programs

复杂数据结构程序的分析和验证技术研究

随着计算机技术应用的日益普及,软件系统的规模和复杂性急剧增大,软件在越来越多的系统中成为主要的组成部分。在安全攸关的应用领......

学位

程序验证抽象解释复杂数据结构程序不变式合成量词和析取不变式

看过本文同时还关注