Program specification and verification in VDM

Program specification and verification in VDM
复制标题

VDM 中的程序规范和验证

DOI：
--
复制
发表时间：
1987
期刊：
影响因子：
--
通讯作者：
Cliff B. Jones
Cliff B. Jones
中科院分区：
--
文献类型：
--
作者：
Cliff B. Jones

文献摘要

被引文献

相似文献

形式化方法在编写规范时使用数学表示法，并使用数学推理来针对这些规范证明设计的合理性。形式方法研究的一个途径被称为维也纳发展方法。VDM已被用于编程语言和非语言应用程序。本文忽略了编程语言及其编译器，重点放在程序的描述和验证上。
Formal methods employ mathematical notation in writing specifications and use mathematical reasoning in justifying designs with respect to such specifications. One avenue of formal methods research is known as the Vienna Development Method. VDM has been used on programming language and non-language applications. In this paper, programming languages and their compilers are ignored; the focus is on the specification and verification of programs.