复杂度上界相关论文
循环的停机性验证是程序验证中的一个难点。程序不变式用来描述程序变量的取值关系,其中线性不变式可以帮助描述程序变量间的线性......
程序验证是保证程序正确性的关键技术。停机性和安全性验证是程序验证中的两个重要研究内容,受到了大量关注和广泛研究。本文针对......
