循环不变形状图的自动推断相关硕士博士期刊学术论文

在一个基于形状图逻辑的C语言程序自动验证系统上,设计并实现了二叉树形状程序的循环不变形状图的自动推断方法.该方法与单链表程......