A verification technique involving a process, which may include computer modeling, to determine compliance with specifications where test, demonstration, or inspection is not feasible.