PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols
暂无分享,去创建一个
C. Edward Chow | Simon S. Lam | C. E. Chow | S. Lam | S. Lam
[1] Mohamed G. Gouda,et al. Protocol Validation by Maximal Progress State Exploration , 1984, IEEE Trans. Commun..
[2] C.-T. Hsieh. Models and algorithms for the design of store-and-forward communication networks , 1987 .
[3] Mohamed G. Gouda,et al. On the Decidability of Livelock Detection in Networks of Communicating Finite State Machines , 1984, PSTV.
[4] C. V. Ramamoorthy,et al. An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 Protocol , 1985, IEEE Transactions on Software Engineering.
[5] Gerald Estrin,et al. Modeling and Verification of Communication Protocols in Sara: The X.21 Interface , 1980, IEEE Transactions on Computers.
[6] Gregor von Bochmann,et al. Finite State Description of Communication Protocols , 1978, Comput. Networks.
[7] Tat Y. Choi,et al. A decomposition method for the analysis and design of finite state protocols , 1983, SIGCOMM 1983.
[8] H. Rudin,et al. Using Automated Validation Techniques to Detect Lockups in Packet-Switched Networks , 1982, IEEE Trans. Commun..
[9] Mohamed G. Gouda,et al. DECIDING PROGRESS FOR A CLASS OF COMMUNICATING FINITE STATE MACHINES. , 1984 .
[10] A. Udaya Shankar,et al. Protocol Verification via Projections , 1984, IEEE Transactions on Software Engineering.
[11] Rami R. Razouk,et al. Modeling X.25 Using the Graph Model of Behavior , 1982, PSTV.
[12] A. Prasad Sistla,et al. Automatic verification of finite state concurrent system using temporal logic specifications: a practical approach , 1983, POPL '83.
[13] Mohamed G. Gouda,et al. An exercise in constructing multi-phase communication protocols , 1984, Computer Communication Review.
[14] Mohamed G. Gouda,et al. Unboundedness Detection for a Class of Communicating Finite-State Machines , 1983, Inf. Process. Lett..
[15] Ching-Hua Chow. A discipline for verification and modular construction of communication protocols (design methodology, tool) , 1985 .
[16] Mohamed G. Gouda,et al. Synthesis of Communicating Finite-State Machines with Guaranteed Progress , 1984, IEEE Trans. Commun..
[17] Daniel Barbará,et al. Spanner: A Tool for the Specification, Analysis, and Evaluation of Protocols , 1987, IEEE Transactions on Software Engineering.
[18] Mohamed G. Gouda,et al. INTERACTIVE VERIFICATION AND CONSTRUCTION OF COMMUNICATION PROTOCOLS IN PROSPEC. , 1986 .
[19] Colin H. West,et al. An Improved Protocol Validation Technique , 1982, Comput. Networks.
[20] Mohamed G. Gouda,et al. Proving liveness for networks of communicating finite state machines , 1986, TOPL.
[21] Simon S. Lam. Protocol Conversion , 1988, IEEE Trans. Software Eng..
[22] Gregor von Bochmann,et al. Experience with Formal Specifications Using an Extended State Transition Model , 1982, IEEE Trans. Commun..
[23] Keith A. Bartlett,et al. A note on reliable full-duplex transmission over half-duplex links , 1969, Commun. ACM.
[24] Mohamed G. Gouda. An Example for Constructing Communicating Machines by Step-Wise Refinement , 1983, Protocol Specification, Testing, and Verification.
[25] Robert P. Kurshan,et al. Automated Implementation from Formal Specification , 1984, Protocol Specification, Testing and Verification.
[26] Deepinder P. Sidhu,et al. Mechanical verification and automatic implementation of communication protocols , 1986, IEEE Transactions on Software Engineering.
[27] Gregor von Bochmann,et al. Formal Methods in Communication Protocol Design , 1980, IEEE Trans. Commun..
[28] Tat Choi. Formal techniques for the specification, verification and construction of communication protocols , 1985 .
[29] A. Udaya Shankar,et al. An HDLC protocol specification and its verification using image protocols , 1983, TOCS.
[30] C. H. West,et al. Automated validation of a communications protocol: the CCITT X.21 recommendation , 1978 .
[31] Mohamed G. Gouda,et al. Closed Covers: To Verify Progress for Communicating Finite State Machines , 1984, IEEE Transactions on Software Engineering.
[32] Carl A. Sunshine,et al. Formal Techniques for Protocol Specification and Verification , 1979, Computer.
[33] Daniel Brand,et al. Towards Analyzing and Synthesizing Protocols , 1980, IEEE Trans. Commun..
[34] Daniel Brand,et al. On Communicating Finite-State Machines , 1983, JACM.
[35] Mohamed G. Gouda,et al. A discipline for constructing multiphase communication protocols , 1985, TOCS.
[36] Mohamed G. Gouda,et al. Deadlock Detection for a Class of Communicating Finite State Machine , 1982, PSTV.