A FUNCTIONAL CORRECTNESS MODEL OF PROGRAM VERIFICATION

被引：2

作者：

ZELKOWITZ, MV ^{[1
]}

机构：

[1] UNIV MARYLAND,INST ADV COMP STUDIES,COLLEGE PK,MD 20742

来源：

关键词：

D O I：

10.1109/2.60878

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

[No abstract available]

引用

页码：30 / 39

页数：10

共 15 条

[1] DEMILLO RA, 1987, SOFTWARE TESTING EVA
[2] DIJKSTRA EW, 1989, COMMUN ACM, V32, P1398
[3] THEORY OF MODULES
GANNON, JD
HAMLET, RG
MILLS, HD
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (07) : 820 - 829
[4] Gries David, 1981, SCI PROGRAMMING
[5] NOTES ON TYPE ABSTRACTION (VERSION-2)
GUTTAG, J
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (01) : 13 - 23
[6] GUTTAG JV, 1978, ACTA INFORM, V10, P27, DOI 10.1007/BF00260922
[7] AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING
HOARE, CAR
[J]. COMMUNICATIONS OF THE ACM, 1969, 12 (10) : 576 - &
[8] HOARE CAR, 1969, COMMUN ACM, V12, P583
[9] LEVESON NG, 1986, COMPUT SURV, V18, P125, DOI 10.1145/7474.7528
[10] MILLS H, 1987, PRINCIPLES COMPUTER