Parallel protocol verification using the two-phase algorithm
暂无分享,去创建一个
[1] Pitro Alois Zafiropulo,et al. Protocol Validation by Duologue-Matrix Analysis , 1978, IEEE Trans. Commun..
[2] Jonathan Bruce Postel. A graph-model analysis of computer communications protocols. , 1974 .
[3] Gregor von Bochmann,et al. Formal Methods in Communication Protocol Design , 1980, IEEE Trans. Commun..
[4] Daniel Brand,et al. On Communicating Finite-State Machines , 1983, JACM.
[5] A. Udaya Shankar,et al. Protocol Verification via Projections , 1984, IEEE Transactions on Software Engineering.
[6] P. Merlin,et al. Specification and Validation of Protocols , 1979, IEEE Trans. Commun..
[7] M.C. Yuang,et al. Survey of protocol verification techniques based on finite state machine models , 1988, [1988] Proceedings. Computer Networking Symposium.
[8] Ming T. Liu,et al. Protocol verification using reachability analysis: the state space explosion problem and relief strategies , 1987, Computer Communication Review.
[9] Daniel Brand,et al. Towards Analyzing and Synthesizing Protocols , 1980, IEEE Trans. Commun..
[10] A. Danthine,et al. Protocol Representation with Finite-State Models , 1980, IEEE Trans. Commun..
[11] Mohamed G. Gouda,et al. Closed Covers: To Verify Progress for Communicating Finite State Machines , 1984, IEEE Transactions on Software Engineering.