Claim C1.2.2.3.3.4.4.3.2.1.1.1.1.2.3.2 The source, object and compiled code has been verified against its requirements for this application

• Is a subclaim of Argument: A1.2.2.3.3.4.4.3.2.1.1.1.1.2.3 Requirements for the software have been established, constraints applied and verification of the selected software has been conducted

Child nodes:

• Has evidence Evidence: E1.2.2.3.3.4.4.3.2.1.1.1.1.2.3.2.2 Software verification report
• Has evidence Evidence: E1.2.2.3.3.4.4.3.2.1.1.1.1.2.3.2.1 Software verification traceability matrix