程序验证

程序验证 正文　　研究程序正确性的理论。为了解一个程序是否正确地实现了...的。因此，调试方法只能发现程序的错误，而不能确保程序无误。程序验证则是研究如何...程序正确性证明。美国科学家R.W.弗洛依德于1967年系统地提出验证程序...

所属分类： 应用程序 计算机术语

周巢尘

、四川青年创新论坛上作了题为“程序验证——解决老问题的新方略”的报告。他在...序验证和代数符号计算关系做了介绍,建议把我国的代数符号计算方面的杰出成就应用于程序验证的研究 相关词条 梁思礼 匡定波 李衍达 雷啸霖 林尊琪...

所属分类： 中国科学家 中国科学院院士 中科院院士 信息技术科学部院士 数学物理部院士

程序设计理论

。程序正确性理论提出编制正确程序的两种可供选择的途径。一种称为程序验证，研究...程序设计理论 正文　　程序设计方法学的理论基础，又称程序理论。应用计算机系统解决具体问题，必须遵循一定的方法，使用某种程序设计语言编制程序来...

Symantec™ ON iPatchTM

恶意计算机的警惕性也有提高。 补丁程序验证可确保安装的每个...。 文件版本和校验和验证，有助于了解某个补丁程序是否确实已安装... 简介 采用简便易用的安全补丁程序管理和补救解决方案，缩短保护关键...

雷震甲

学进修程序验证理论和面向对象程序设计技术，师从著名的计算机科学理论专家 O...

程序逻辑

一类程序语言的逻辑系统，提出程序部分正确性的形式验证规则（见程序验证...程序的性质，因此它又是程序验证的理论基础。 　　现代软件工程的一个重要...程序逻辑 正文　　描述和论证程序行为的逻辑，又称霍尔逻辑。程序和逻辑...

理论计算机科学

包括：①自动机论与形式语言理论;②程序理论(包括程序正确性证明、程序验证等...设计理论 　包括程序正确性证明和程序验证，它的一些基本概念和方法是40年...，并借助已知的各种验证方法（包括程序正确性证明）来保证这些基本程序的正确...

数理逻辑

者既是数学家、又是逻辑学家，如阿兰·图灵、邱奇等。 程序语言学、语义学的研究从模型论衍生而来，而程序验证则从模型论的模型检测衍生而来。 柯里——霍华德同构给出了“证明”和“程序”的等价性，这一结果与证明论有关，直觉逻辑和...

所属分类： 学科名 数学 数学术语 数学理论 数理逻辑

公理语义学

的理论基础。程序验证的研究也进一步促进公理语义学的发展。 　　寻求适用...公理语义学 正文　　形式语义学的一个分支。不同的人在了解程序的含义时有...要求严格给出程序设计语言的有关语义。 　　1967年美国R.W.弗洛...

机器定理证明

理解、程序验证和自动程序设计等方面。数学定理证明的过程尽管每一步都很...的方法。逻辑程序设计和日本以PROLOG为原型开发第五代计算机系统的核...形式。 　　逻辑程序设计 　将一阶谓词演算的子集直接作为程序设计语言...

搜索程序验证相关的维吧

1[2][3]下一页最后一页