PROTOCOL VERIFICATION VIA PROJECTIONS

被引：96

作者：

LAM, SS

SHANKAR, AU

机构：

来源：

关键词：

D O I：

10.1109/TSE.1984.5010246

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：325 / 342

页数：18

共 25 条

[1]

BOCHMANN GV, 1977, DEC C REC NAT TEL C, pA3

[2]

BOCHMANN GV, 1980, 5TH P ICCC ATL

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

BRAND, D ;

JOYNER, WH .

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

[4] VERIFICATION OF HDLC [J].

BRAND, D ;

JOYNER, WH .

[5]

Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI, P15

[6]

DIVITO BL, 1982, THESIS U TEXAS AUSTI

[7]

HAILPERN BT, 1980, 192 STANF U COMP SYS

[8]

KUROSE J, 1982, 2ND P INT WORKSH PRO, P43

[9]

LAM SS, 1982, 2ND P INT WORKSH PRO

[10]

LAM SS, 1983, COMPUTER COMMMUNICAT, V1, pCH3