函数不变量相关硕士博士期刊学术论文 - 搜论网

函数不变量相关论文

基于抽象解释的函数不变量正确性验证

函数不变量检测是提高软件质量的一种有效方法.针对检测方法可能带来无效的函数不变量的缺陷,提出一种以抽象解释理论为基础的函数......

期刊

函数不变量抽象解释正确性验证多项式关系 functional invariant abstract interpretation correct ve

看过本文同时还关注