A design verification system for sequence diagrams ofpower plants has been developed. Its main function is to verify component connectivities in power plant control systems. The verification is achieved through both a symbolic comparison of sequence diagrams against their corresponding one-line diagrams and by reference to design knowledge. The verification of actual nuclear power plant sequence diagrams confirms the system’s practical effectiveness.