Abstract: To address issues such as model discretization, incomplete coverage of verification elements, and broken requirement traceability in the verification of combat system-of-systems (SoS) ...