VERIFICATION OF PROTOCOLS USING SYMBOLIC EXECUTION

被引：25

作者：

BRAND, D

JOYNER, WH

机构：

来源：

COMPUTER NETWORKS AND ISDN SYSTEMS | 1978年 / 2卷 / 4-5期

关键词：

D O I：

10.1016/0376-5075(78)90014-4

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：351 / 360

页数：10

共 20 条

BARTLETT, KA ;

SCANTLEBURY, RA ;

WILKINSON, PT ;

LYNCH, WC .

[2]

Birman A., 1976, IEEE Transactions on Software Engineering, VSE-2, P87, DOI 10.1109/TSE.1976.233535

[3]

BOCHMAN GV, 1975, 4TH DAT COMM S IEEE

[4]

BOCHMAN GV, 1977, 1977 P IFIP C, P229

[5]

CARTER WC, 1977, RC6361 IBM TJ WATS R

[6]

CROCKER SD, THESIS INFORMATION S

[7]

DEUTCH IP, 1973, THESIS U CALIFORNIA

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

DIJKSTRA, EW .

[9]

Floyd Robert W., 1967, P S APPL MATH, V19, P19, DOI DOI 10.1090/PSAPM/019/0235771

[10]

HAJEK J, 1977, THERC29286 EINDH U T