相关结果:
百科
图片
用户
维吧

在百科词条中搜索“程序验证”共得到 22个搜索结果,用时0.068秒

程序验证
程序验证 正文  研究程序正确性的理论。为了解一个程序是否正确地实现了...的。因此,调试方法只能发现程序的错误,而不能确保程序无误。程序验证则是研究如何...程序正确性证明。美国科学家R.W.弗洛依德于1967年系统地提出验证程序...
周巢尘
、四川青年创新论坛上作了题为“程序验证——解决老问题的新方略”的报告。他在...序验证和代数符号计算关系做了介绍,建议把我国的代数符号计算方面的杰出成就应用于程序验证的研究 相关词条 梁思礼 匡定波 李衍达 雷啸霖 林尊琪...
程序设计理论
程序正确性理论提出编制正确程序的两种可供选择的途径。一种称为程序验证,研究...程序设计理论 正文  程序设计方法学的理论基础,又称程序理论。应用计算机系统解决具体问题,必须遵循一定的方法,使用某种程序设计语言编制程序来...
Symantec™ ON iPatchTM
恶意计算机的警惕性也有提高。 补丁程序验证可确保安装的每个...。 文件版本和校验和验证,有助于了解某个补丁程序是否确实已安装... 简介 采用简便易用的安全补丁程序管理和补救解决方案,缩短保护关键...
雷震甲
学进修程序验证理论和面向对象程序设计技术,师从著名的计算机科学理论专家 O...
程序逻辑
一类程序语言的逻辑系统,提出程序部分正确性的形式验证规则(见程序验证...程序的性质,因此它又是程序验证的理论基础。   现代软件工程的一个重要...程序逻辑 正文  描述和论证程序行为的逻辑,又称霍尔逻辑。程序和逻辑...
理论计算机科学
包括:①自动机论与形式语言理论;②程序理论(包括程序正确性证明、程序验证等...设计理论  包括程序正确性证明和程序验证,它的一些基本概念和方法是40年...,并借助已知的各种验证方法(包括程序正确性证明)来保证这些基本程序的正确...
数理逻辑
者既是数学家、又是逻辑学家,如阿兰·图灵、邱奇等。 程序语言学、语义学的研究从模型论衍生而来,而程序验证则从模型论的模型检测衍生而来。 柯里——霍华德同构给出了“证明”和“程序”的等价性,这一结果与证明论有关,直觉逻辑和...
公理语义学
的理论基础。程序验证的研究也进一步促进公理语义学的发展。   寻求适用...公理语义学 正文  形式语义学的一个分支。不同的人在了解程序的含义时有...要求严格给出程序设计语言的有关语义。   1967年美国R.W.弗洛...
机器定理证明
理解、程序验证和自动程序设计等方面。数学定理证明的过程尽管每一步都很...的方法。逻辑程序设计和日本以PROLOG为原型开发第五代计算机系统的核...形式。   逻辑程序设计  将一阶谓词演算的子集直接作为程序设计语言...

搜索程序验证相关的维吧

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

相关图片:

更多相关图片,请到图片百科 >>

Copyright © 2005-2009 hudong.com Ltd. All Rights Reserved. 互动在线 版权所有