量词消去相关硕士博士期刊学术论文 - 搜论网

量词消去相关论文

线性C循环代码的终止性分析及其工具开发

循环程序的终止性分析是程序验证的重要组成部分。确保循环程序的终止是循环程序完全正确的必要条件。目前,用来证明程序终止性的......

学位

程序验证终止性分析量词消去验证工具

完全二叉树的量词消去

量词消去法已经成为计算机科学和代数模型论中最有力的研究工具之一.本文针对完全二叉树理论所独有的特性,给出了它的基本公式集,......

期刊

完全二叉树量词消去基本公式分布公式有限覆盖

看过本文同时还关注