Distributed reachability analysis for protocol verification environments-Reference-Cited by-同舟云学术

Distributed reachability analysis for protocol verification environments

Published:1988 Issue: Volume: Page:40-56
ISSN:0170-8643
Container-title:Discrete Event Systems: Models and Applications
language:
Short-container-title:

Author:

Aggarwal Sudhir,Alonso Rafael,Courcoubetis Costas

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0042303

Reference21 articles.

1. S. Aggarwal, D. Barbara and K. Meth, “Specifying and analyzing protocols with SPANNER”, Proceedings of the IEEE International Conference on Communications, June 22–25, 1986, Toronto, Canada.

2. S. Aggarwal, D. Barbara and K. Meth, “SPANNER-A tool for the specification, analysis and evaluation of protocols”, to appear in IEEE Trans. on Soft. Eng., 1987.

3. S. Aggarwal, D. Barbara and K. Meth, “A software environment for the specification and analysis of problems of coordination and concurrency”, to appear in the IEEE Trans. on Software Eng., 1988.

4. S. Aggarwal and C. Courcoubetis, “Distributed implementation of a model of communication and computation”, Proc. of the 18th Hawaii Int. Conf. on System Sciences, January 1985, pp. 206–218.

5. S. Aggarwal, C. Courcoubetis and P. Wolper, “Adding liveness properties to coupled finite state machines”, AT&T Bell Laboratories Technical Memo., 1986.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Distributed LTL model-checking in SPIN;Model Checking Software;2001

2. Distributed LTL Model Checking Based on Negative Cycle Detection;FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science;2001

3. Distributing Timed Model Checking — How the Search Order Matters;Computer Aided Verification;2000

4. Parallelizing the Murϕ verifier;Computer Aided Verification;1997