复杂度上界相关论文
对程序进行分析和验证是当今计算机程序设计研究领域的前沿课题,如何保证程序按照人的预先设定严格执行而不出错是当今信息科学和可......
循环的停机性验证是程序验证中的一个难点。程序不变式用来描述程序变量的取值关系,其中线性不变式可以帮助描述程序变量间的线性......
程序验证是保证程序正确性的关键技术。停机性和安全性验证是程序验证中的两个重要研究内容,受到了大量关注和广泛研究。本文针对......