Nonverifiable requirements include statements such as “works well,” “good human interface,” and “shall
usually happen.” These requirements cannot be verified because it is impossible to define the terms “good,”
“well,” or “usually.” The statement that “the program shall never enter an infinite loop” is nonverifiable
because the testing of this quality is theoretically impossible