Generalized fair reachability analysis for cyclic protocols

IEEE/ACM Transactions on Networking

Volumn 4, Issue 2, 1996, Pages 192-204

  Liu, Hong ^b   Miller, Raymond E ^a,b  

^a IEEE

^b University of Maryland ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTABILITY AND DECIDABILITY; COMPUTER SYSTEM RECOVERY; ERROR ANALYSIS; FINITE AUTOMATA; MATHEMATICAL MODELS; STATE SPACE METHODS; THEOREM PROVING;

COMMUNICATING FINITE STATE MACHINE; CYCLIC PROTOCOLS; DEADLOCK STATE; FAIR REACHABILITY ANALYSIS;

NETWORK PROTOCOLS;

EID: 0030129398     PISSN: 10636692     EISSN: None     Source Type: Journal    
DOI: 10.1109/90.490747     Document Type: Article

References (21)

1. D. Brand and P. Zafiropulo, "On communicating finite-state machines," J. ACM, vol. 30, no. 2, pp. 323-342, Apr. 1983.
2. L. Cacciari and O. Rafiq, "On improving reduced reachability analysis," FORTe'92, Pos-Guirec, France, Oct. 13-16, 1992, M. Daiz and R. Groz (Ed.), 1992, pp. 137-152.
3. T. Y. Choi and R. E. Miller, "Protocol analysis and synthesis by structured partitions," Computer Networks, ISDN Syst., vol. 11, pp. 367-381, 1986.
4. F. J. Lin, P. M. Chu, and M. T. Liu, "Protocol verification using reachability analysis: the state explosion problem and relief strategies," in Proc. SIGCOMM'87, 1987, pp. 126-135.
5. M. G. Gouda, C. H. Chow, and S. S. Lam, "Livelock detection in networks of communicating finite state machines," Dept. of Computer Science, Univ. of Texas at Austin, Technical rep. TR-84-10, Apr. 1984.
6. M. G. Gouda and J. Y. Han, "Protocol validation by fair progress state exploration," Computer Networks, ISDN Syst., vol. 9, pp. 353-361, 1985.
7. M. G. Gouda and Y. T. Yu, "Protocol validation by maximal progress state exploration," IEEE Trans. Commun., vol. COM-32, no. 1, pp. 94-97, 1984.
8. H. Liu and R. E. Miller, "Deadlock detection for cyclic protocols using generalized fair reachability analysis," Dept. of Computer Science, Univ. of Maryland at College Park, Technical rep. CS-TR-3135, Sept. 1993.
9. _, "Generalized fair reachability analysis for cyclic protocols: Part 1," in Proc. 14th IFIP Symp. Protocol Specification, Testing, Verification, Vancouver, B.C. Canada, June 1994, pp. 271-286.
10. _, "Generalized fair reachability analysis for cyclic protocols: decidability for logical correctness problems," in Proc. ICNP'94, Boston, MA, Oct. 25-28, pp. 100-107.
11. _, "Generalized fair reachability analysis for cyclic protocols with nondeterministic and internal transitions," in Proc. ICNP'95, Tokyo, Japan, Nov. 7-10, 1995, pp. 6-13.
12. _, "Reachability problems for cyclic protocols," in Proc. IC3N'95, Las Vegas, NV, Oct. 20-23, 1995, pp. 32-39.
13. H. Liu, R. E. Miller, H.v.d. Schoot, and H. Ural, "Deadlock detection via fair reachability analysis: from cyclic to multi-cyclic protocols (and beyond?)" to be presented at Proc. ICDCS'96, Hong Kong, May 27-30, 1996.
14. K. Okumura, "Protocol analysis from language structure," in Proc. Protocol Specification, Testing, Verification, 1988, pp. 113-124.
15. J. Pachl, "Reachability problems for communicating finite state machines," Dept. of Computer Science, Univ. of Waterloo, Res. rep. CS-82-12, , May, 1982
16. J. Pachl, "Protocol description and analysis based on a state transition model with channel expressions," in Proc. Protocol Specification, Testing, Verification, 1987, pp. 207-219.
17. W. Peng and S. Purushothaman, "A unified approach to the deadlock detection problem in networks of communicating finite state machines," in Proc. CAV'90, New Brunswick, NJ, June 1990, pp. 243-252.
18. W. Peng and S. Purushothaman, "Data flow analysis of communicating finite state machines," ACM Trans. Programming Languages, Syst., vol. 13, no. 3, pp. 399-442, 1991.
19. J. Rubin and C. H. West, "An improved protocol validation technique," Computer Networks, ISDN Syst., vol. 6, pp. 65-73, 1982.
20. D. Sidhu, A. Chung, and T. P. Blumer, "Experience with formal methods in protocol development," ACM/SIGCOMM, Computer Commun. Rev., vol. 21, no. 2, pp. 81-101, Apr., 1991.
21. M. C. Yuang, "Survey of Protocol verification techniques based on finite state machine models," in Proc. NBS Computer Networking Symp., 1988, pp. 164-172.