"verification" . "Software verification" . "Software_verification#Static_verification_(Analysis)" . "Software_verification#Dynamic_verification_(Test,_experimentation)" . "verification of software" . "narrow" . . "verification technology" . "verification technologies" . "Software verification" . . . "Software Verification" . "static verification" . . "program verification" . "software verification" . "dynamic verification" .