What qualitative and quantitative criteria govern the selection among inspection, analysis, demonstration, and formal testing when verifying mission-critical system components against design specifications? Furthermore, why is combining visual reviews and mathematical models with functional trials the most robust framework to ensure complete, verifiable compliance?