SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

AT&T Technical Journal

Volumn 69, Issue 1, 1990, Pages 32-44

Algorithms for Automated Protocol Verification

(1) Holzmann, Gerard J a

a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING--ALGORITHMS; DATA TRANSMISSION; TELEPHONE SWITCHING EQUIPMENT;

5ESS SWITCH; DATA COMMUNICATION PROTOCOLS; FINITE STATE MACHINE; MEMORY USAGE; PROTOCOL VERIFICATION;

COMPUTER NETWORKS;

EID: 0025207743 PISSN: 87562324 EISSN: 15387305 Source Type: Journal
DOI: 10.1002/j.1538-7305.1990.tb00101.x Document Type: Article

Times cited : (40)

References (25)

1
- 0023366120
- “Automated protocol verification in Argos, assertion proving and scatter searching,”
- (1987) IEEE Transactions on Software Engineering , vol.13 SE , Issue.6 , pp. 683-696
- Holzmann, G.J.¹

2
- 84977288283
- “An Improved Protocol Reachability Analysis Technique,” Software, Practice and Experience
- (1988) , pp. 137-161
- Holzmann, G.J.¹

3
- 84555186228
- IEEE Standard 802‐2‐1985, ISO DIS 8802/2, IEEE Standards Board, New York
- (1985) “IEEE Standards for Local Area Networks: Logical Link Control,”

4
- 0022214646
- “Tracing Protocols,”
- (1985) AT&T Technical Journal” , vol.64 , Issue.10 , pp. 2413-2434
- Holzmann, G.J.¹

5
- 0041982687
- Proceedings of Sixth Workshop on Protocol Specification, Testing, and Verification, Quebec, North‐Holland, Amsterdam, pp.
- (1986) “Valira—a Tool for Protocol Verification via Reachability Analysis,” , pp. 35-42
- Vuong, S.T.¹ Hui, D.D.² Cowan, D.D.³

6
- 0024057486
- “An Acyclic Expansion Algorithm for Fast Protocol Verification,”
- (1988) IEEE Transactions on Software Engineering , vol.14 , Issue.8 , pp. 1059-1070
- Kakuda, Y.¹ Wakahara, Y.² Norigoe, M.³

7
- 0021458959
- “Protocol Verification via Projections,”
- (1984) IEEE Transactions on Software Engineering , vol.10 , Issue.4 , pp. 325-342
- Lam, S.S.¹ Shankar, A.U.²

8
- 0017985798
- “General Technique for Communications Protocol Validation,”
- (1978) IBM journal of Research and Development , vol.22 , Issue.3 , pp. 393-404
- West, C.H.¹

9
- 84977309852
- “Automatically verified data transfer protocols,” Proceedings of Fourth ICCC, Kyoto
- (1978) , pp. 749-756
- Hajek, J.¹

10
- 0040619974
- Proceedings of Third Workshop on Protocol Specification, Testing, and Verification, Zurich, North‐Holland, Amsterdam, pp.
- (1983) “A calculus for protocol specification and verification,” , pp. 19-34
- Aggarwal, A.¹ Kurshan, K.P.²

11
- 84977286314
- Proceedings of Sixth Workshop on Protocol Specification, Testing, and Verification, Montreal, North‐Holland, Amsterdam, pp.
- (1986) “A Petri Net Tool for Service Verification in Protocols,” , pp. 281-292
- Bourguet, A.¹

12
- 84977305848
- Proceedings of Third Workshop on Protocol Specification, Testing, and Verification, Zurich, North‐Holland, Amsterdam, pp.
- (1983) “A Protocol Validator and its Applications,” , pp. 189-198
- Rafiq, O.¹ Ansart, J.P.²

13
- 84977294751
- Proceedings of Seventh Workshop on Protocol Specification, Testing, and Verification, Zurich, North‐Holland, Amsterdam, pp.
- (1987) “Verification in Xesar of the Sliding Window Protocol,” , pp. 235-250
- Richier, J.L.¹

14
- 84977300500
- Proceedings of Sixth Workshop on Protocol Specification, Testing, and Verification, Quebec, North‐Holland, Amsterdam, pp.
- (1986) “PAV—Protocol Analyzer and Verifier,” , pp. 29-34
- Sabnani, K.K.¹ Lapone, A.M.²

15
- 84977291548
- Proceedings of Seventh Workshop on Protocol Specification, Testing, and Verification, Zurich, North‐Holland, Amsterdam, pp.
- (1987) “Probabilistic Verification of Communications Protocols,” , pp. 307-320
- Maxemchuck, N.F.¹ Sabnani, K.K.²

16
- 84977308223
- Proceedings of Eighth Workshop on Protocol Specification, Testing, and Verification, Atlantic City, North‐Holland, Amsterdam.
- (1988) “Experience in Guiding Simulation,”
- Pageot, J.M.¹ Jard, C.²

17
- 0020167560
- “A theory for protocol verification,”
- (1982) IEEE Transactions on Computers , vol.100-131 , Issue.8 , pp. 730-738
- Holzmann, G.J.¹

18
- 0021405379
- “PANDORA—an interactive system for the design of data communication protocols,”
- (1984) Computer Networks , vol.8 , Issue.2 , pp. 71-81
- Holzmann, G.J.¹

19
- 84977300966
- Proceedings of Sixth Workshop on Protocol Specification, Testing, and Verification, Quebec, North‐Holland, Amsterdam, pp.
- (1986) “Protocol Verification by Random State Exploration,” , pp. 233-242
- West, C.H.¹

20
- 0024936472
- “Protocol Validation in Complex Systems,” Proceedings of SIGCOMM '89, Austin, Texas
- (1989) , pp. 303-312
- West, C.H.¹

21
- 84977301743
- Proceedings of Eighth Workshop on Protocol Specification, Testing, and Verification, Atlantic City, North‐Holland, Amsterdam.
- (1988) “Protocol Engineering: A Critical Assessment,”
- Rudin, H.¹

22
- 0012693047
- “Scatter Storage Techniques,”
- (1968) Communications of the ACM , vol.11 , Issue.1 , pp. 38-44
- Morris, R.¹

23
- 0003415652
- Addison‐Wesley, Reading, Massachusetts
- (1974) The Design and Analysis of Computer Algorithms , pp. 111-113
- Aho, A.V.¹ Hopcroft, J.E.² Ullman, J.D.³

24
- 0005424347
- Proceedings of Seventh Workshop on Protocol Specification, Testing, and Verification, Zurich, North‐Holland, Amsterdam, pp.
- (1987) “On Limits and Possibilities of Automated Protocol Analysis,” , pp. 339-346
- Holzmann, G.J.¹

25
- 84977310100
- Proceedings of Ninth International Workshop on Protocol Specification, Testing and Verification, Twente University, The Netherlands, North‐Holland, Amsterdam.
- (1989) “Validating SDL Specifications: an Experiment,”
- Holzmann, G.J.¹ Patti, J.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.