THE USE OF HOARE LOGIC IN THE VERIFICATION OF HORIZONTAL MICROPROGRAMS

被引：5

作者：

DASGUPTA, S ^{[1
]}

WAGNER, A ^{[1
]}

机构：

[1] UNIV TORONTO,DEPT COMP SCI,TORONTO M5S 1A4,ONTARIO,CANADA

来源：

INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES | 1984年 / 13卷 / 06期

关键词：

D O I：

10.1007/BF00985823

中图分类号：

G25 [图书馆学、图书馆事业]; G35 [情报学、情报工作];

学科分类号：

1205 ; 120501 ;

摘要：

引用

页码：461 / 490

页数：30

共 35 条

[1]

BABA T, 1981, IEEE T COMPUT, V30, P373, DOI 10.1109/TC.1981.1675804

[2]

BERG HK, 1980, CORRECTNESS FIRMWARE

[3]

CARTER WC, 1978, P NATL COMPUT C, P657

[4]

DAMM W, 1984, 94 TH AACH BER

[5]

Dasgupta S., 1982, 9th Annual Symposium on Computer Architecture, P158

[6]

DASGUPTA S, 1982, ADV COMPUTERS

[7]

DASGUPTA S, 1980, ACM COMPUTING SURVEY, V12, P295

[8]

DASGUPTA S, 1983, 10TH P ANN INT S COM

[9]

DASGUPTA S, 1978, MICRO, V11, P144

[10]

DAVIDSON S, 1981, IEEE T COMPUT, V30, P460, DOI 10.1109/TC.1981.1675826