The process of examining, modeling, and evaluating system requirements to ensure completeness, consistency, and correctness.