作者:理查德·a·德·米罗，理查德·j·利普顿，艾伦·j·佩利斯
ACM通信，1979年5月，第22卷第5期，第271-280页
10.1145/359104.359106
评论
有人认为，程序的形式验证，无论如何获得，都不会在计算机科学和软件工程的发展中发挥与数学证明一样的关键作用。此外，缺乏连续性，不可避免的变化，以及许多实际程序的规范的复杂性，使得正式的验证过程难以证明和管理。人们认为，形式验证的便捷性不应该主导程序语言设计。
本文的全文是优质内容
没有发现记录
登录阅读全文
需要访问吗?
请选择下面的一个选项以访问高级内容和功能。
创建一个网上帐户
如果你已经是ACM会员，通信订阅者或数码图书馆订阅者，请设置网页帐户，以浏览本网站的优质内容。
参加ACM
成为ACM的会员，可以充分利用ACM卓越的计算信息资源、网络机会等优势。
订阅ACM杂志通讯
获得50多年的中华中医药学会内容的完整访问权限，并每月获得杂志印刷版。
购买这篇文章
非会员可以购买这篇文章或刊登这篇文章的杂志。
