AN IMPROVED PROTOCOL REACHABILITY ANALYSIS TECHNIQUE

[1] LIMITS FOR AUTOMATIC VERIFICATION OF FINITE-STATE CONCURRENT SYSTEMS [J]. INFORMATION PROCESSING LETTERS, 1986, 22 (06) : 307 - 309

[2] A NOTE ON RELIABLE FULL-DUPLEX TRANSMISSION OVER HALF-DUPLEX LINLS [J]. 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]. 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]. 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]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (06) : 683 - 696

[10] HOLZMANN GJ, 1987, 134 AT T BELL LAB CO

[1] LIMITS FOR AUTOMATIC VERIFICATION OF FINITE-STATE CONCURRENT SYSTEMS [J]. INFORMATION PROCESSING LETTERS, 1986, 22 (06) : 307 - 309

[2] A NOTE ON RELIABLE FULL-DUPLEX TRANSMISSION OVER HALF-DUPLEX LINLS [J]. 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]. 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]. 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]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (06) : 683 - 696

[10] HOLZMANN GJ, 1987, 134 AT T BELL LAB CO