论文部分内容阅读
本文将讨论用来证明程序正确性的一些概念和方法,把逻辑规则,证明技术以及算法的概念联系在一起,应用合成规则对程序验证领域给予了粗略的探讨.
合成规则在程序正确性验证中的应用
【摘 要】
：
本文将讨论用来证明程序正确性的一些概念和方法,把逻辑规则,证明技术以及算法的概念联系在一起,应用合成规则对程序验证领域给予了粗略的探讨.
【机 构】
：
南京师范大学泰州学院
【出 处】
：
数字技术与应用
【发表日期】
：
2004年期
其他文献
随着国民经济的深入快速发展，我国的科学技术领域也取得了良好的成果，尤其是计算机技术的应用越来越广泛，计算机软件开发技术也日益多样化。目前分层技术在计算机软件开发中的应
目前，随着经济的发展以及土地资源利用紧张的现状，对建筑的质量要求越来越高，越来越多的新材料应用于建筑建设，但目前钢产品的使用最为广泛。随着人们生活水平的不断提高，对建筑业
本文结合本公司的管理现状，客观分析本公司在管网维护服务，收费管理等方面存在的问题，提出自己对未来发展的一些想法和建议，为公司今后的发展建设提供参考。
随着社会的不断发展，建筑工程项目的需求量越来越多，因此为保证建筑工程质量，本文从项目工程测量的角度入手，对测量放线在工程建设中的重要性进行简单解说，旨在能更好地为建筑工程
本文从精装修住宅工程项目施工质量的影响因素入手，讨论分析了住宅工程项目施工全面质量管理的概念及方法，并对施工质量控制的主要方法及内容进行了深入的分析，为以后的研究提供
在构建和谐社会的进程中,结合我国政府体育管理职能发挥现状,对我国政府体育管理职能改革的重心、方向和关系进行研究;提出了我国政府体育管理职能转变的新途径.
级配砂石是以碎石为主要材料制成的复合地基加固。软弱地基普遍具有天然孔隙比大、天然含水率高、压缩性高、高灵敏度、厚度较厚的特点，导致地基的强度不能满足使用要求。本文