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
[Back to main map]
Parent nodes:
Supports
Argument
:
A1.2.2.3.3.4.4.3.2.1.1.1.1.2 A combination of constraints, formal verification and engineered safety features have been applied to the software
Child nodes:
Has subclaim
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
Has subclaim
Claim
:
C1.2.2.3.3.4.4.3.2.1.1.1.1.2.3.1 Detailed requirements for the software used in this application have been derived from the system and SIF requirements