KIT - A STUDY IN OPERATING SYSTEM VERIFICATION

被引：41

作者：

BEVIER, WR

机构：

来源：

关键词：

D O I：

10.1109/32.41331

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：1382 / 1396

页数：15

共 39 条

[1]

BELL CG, 1971, COMPUTER STRUCTURES

[2]

BELL DE, 1975, MTR2997 MITR CORP TE

[3]

Berson T. A., 1979, 1979 International Workshop on Managing Requirements Knowledge (MARK), P365, DOI 10.1109/MARK.1979.8817195

[4]

BEVIER WR, IN PRESS AUTOMATED R

[5]

BEVIER WR, 1987, 11 COMP LOG INC TECH

[6]

Boebert W. E., 1985, Proceedings of the 1985 Symposium on Security and Privacy (Cat. No. 85CH2150-1), P176

[7]

BOYER RS, 1988, COMPUTATIONAL LOGIC

[8] STRUCTURE OF THE-MULTIPROGRAMMING SYSTEM [J].

DIJKSTRA, EW .

[9]

Feiertag R. J., 1979, AFIPS Conference Proceedings, vol.48. 1979 National Computer Conference, P329

[10]

FEIERTAG RJ, 1977, 6 ACM S OP SYST PRIN, P57