Abstract: To address the problems of the architecture verification and evaluation of C⁴ISR system, the Architecture Information Model was built, three classes of verification and evaluation of C4ISR system architecture were presented, i.e. syntactic verification, semantic verification, pragmatic verification and evaluation. Syntactic verification of C⁴ISR system architecture verifies the integrity, data reference validity, data alignment, and consistency of data relationships. Semantic verification of C4ISR system architecture focuses on validating the logic correctness of the business process and system function. Pragmatic verification and evaluation of C⁴ISR system architecture assesses the performance and effectiveness. The formal methods, simulation-based methods and synthetic methods were analyzed to support the verification and evaluation.