Abstract: 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.