A fast method of protocol validation using reduced stable state exploration technique
暂无分享,去创建一个
[1] M.C. Yuang,et al. Parallel protocol verification using the two-phase algorithm , 1989, [1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference.
[2] A. Udaya Shankar,et al. Protocol Verification via Projections , 1984, IEEE Transactions on Software Engineering.
[3] C. Edward Chow,et al. PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols , 1988, IEEE Trans. Software Eng..
[4] Daniel Brand,et al. Towards Analyzing and Synthesizing Protocols , 1980, IEEE Trans. Commun..
[5] Ming T. Liu,et al. Protocol verification using reachability analysis: the state space explosion problem and relief strategies , 1987, Computer Communication Review.
[6] Mohamed G. Gouda,et al. Protocol Validation by Fair Progress State Exploration , 1985, Comput. Networks.
[7] H. Rudin,et al. An informal overview of formal protocol specification , 1985, IEEE Communications Magazine.
[8] C. H. West,et al. Protocol Validation in Complex Systems , 1989, SIGCOMM.
[9] Krishan K. Sabnani,et al. An algorithmic procedure for checking safety properties of protocols , 1989, IEEE Trans. Commun..
[10] Colin H. West,et al. An Improved Protocol Validation Technique , 1982, Comput. Networks.