AN IMPROVED PROTOCOL REACHABILITY ANALYSIS TECHNIQUE

被引：46

作者：

HOLZMANN, GJ

机构：

来源：

SOFTWARE-PRACTICE & EXPERIENCE | 1988年 / 18卷 / 02期

关键词：

D O I：

10.1002/spe.4380180203

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：137 / 161

页数：25

共 24 条

[1] LIMITS FOR AUTOMATIC VERIFICATION OF FINITE-STATE CONCURRENT SYSTEMS [J].

APT, KR ;

KOZEN, DC .

INFORMATION PROCESSING LETTERS, 1986, 22 (06) :307-309

[2] A NOTE ON RELIABLE FULL-DUPLEX TRANSMISSION OVER HALF-DUPLEX LINLS [J].

BARTLETT, KA ;

SCANTLEBURY, RA ;

WILKINSON, PT ;

LYNCH, WC .

COMMUNICATIONS OF THE ACM, 1969, 12 (05) :260-+

[3]

BOCHMANN G, 1986, PUBL U MONTREAL DEP, V596

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

BRAND, D ;

JOYNER, WH .

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

[5]

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

[6]

CUNHA PRF, 1981, P INT C DISTRIBUTED, P433

[7]

DETREVILLE J, 1982, UNPUB FINDING DEADLO

[8] THE PANDORA SYSTEM - AN INTERACTIVE SYSTEM FOR THE DESIGN OF DATA COMMUNICATION PROTOCOLS [J].

HOLZMANN, GJ .

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

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

HOLZMANN, GJ .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (06) :683-696

[10]

HOLZMANN GJ, 1987, 134 AT T BELL LAB CO

← 1 2 3 →