Which of the four standard verification methods involves operating the system and observing its behavior without formal measurement?