WU Yisheng, ZHU Zesheng. A Temporal Logic System for Verifying Communication ProtocolJ. Journal of Computer Research and Development, 1988, 25(7): 7-13.
Citation:
WU Yisheng, ZHU Zesheng. A Temporal Logic System for Verifying Communication ProtocolJ. Journal of Computer Research and Development, 1988, 25(7): 7-13.
WU Yisheng, ZHU Zesheng. A Temporal Logic System for Verifying Communication ProtocolJ. Journal of Computer Research and Development, 1988, 25(7): 7-13.
Citation:
WU Yisheng, ZHU Zesheng. A Temporal Logic System for Verifying Communication ProtocolJ. Journal of Computer Research and Development, 1988, 25(7): 7-13.
A Temporal Logic System for Verifying Communication Protocol
A verifying system for communication protocols (VSCP) is constructed by the axiom proposed by professor Mo Shaokui and two temporal logic operations,which are used to verify the communication protocol of a multi-microcomputer system for robots described in grammar rule and concurrent PASCAL. The flexibility and effectiveness of the VSCP in the application are discussed.
DownLoad: