AUTOMATED PROTOCOL VALIDATION IN ARGOS - ASSERTION PROVING AND SCATTER SEARCHING (REPRINTED FROM CURRENT ADVANCES IN DISTRIBUTED COMPUTING AND COMMUNICATION, VOL 1, 1986)

被引：21

作者：

HOLZMANN, GJ

机构：

来源：

关键词：

D O I：

10.1109/TSE.1987.233206

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：683 / 696

页数：14

共 15 条

[1]

Aho A. V., 1974, DESIGN ANAL COMPUTER, V1st

[2] VERIFICATION OF PROTOCOLS USING SYMBOLIC EXECUTION [J].

BRAND, D ;

JOYNER, WH .

COMPUTER NETWORKS AND ISDN SYSTEMS, 1978, 2 (4-5) :351-360

[3]

Brand D., 1980, Proceedings of Trends & Applications: 1980 Computer Network Protocols, P29

[4]

CUNHA PRF, 1981, P INT C DISTRIBUTED, P433

[5]

DETREVILLE J, 1982, UNPUB FINDING DEADLO

[6]

DIJKSTRA EW, 1975, COMMUN ACM, V18, P453, DOI [10.1145/360933.360975, 10.1145/390016.808417]

[7]

HAJEK J, 1978, 4TH P ICCC KYOT, P749

[8] COMMUNICATING SEQUENTIAL PROCESSES [J].

HOARE, CAR .

HOLZMANN, GJ .

COMPUTER NETWORKS AND ISDN SYSTEMS, 1984, 8 (02) :71-79

[10]

HOLZMANN GJ, 1982, IEEE T COMPUT, V31, P730, DOI 10.1109/TC.1982.1676079