节点文献
程序自动证明技术
【摘要】 <正> 一、引论程序证明是把程序和它所实现的目标(用描述断言表示)两者都作为数学对象,回答“程序是否能实现既定的目的”这样一个逻辑问题。程序证明的方法目前还未发展到工程实现的阶段。
- 【文献出处】 计算机科学 ,Computer Science , 编辑部邮箱 ,1981年02期
- 【下载频次】29
中国学术期刊网络出版总库
【摘要】 <正> 一、引论程序证明是把程序和它所实现的目标(用描述断言表示)两者都作为数学对象,回答“程序是否能实现既定的目的”这样一个逻辑问题。程序证明的方法目前还未发展到工程实现的阶段。