SYS.2.BP3 Analyze system requirements
SYS.2.O.2 System requirements are categorized and analyzed for correctnessand verifiability