17-50 Verification criteria
SYS.2.O.2 System requirements are categorized and analyzed for correctnessand verifiability