Claim C1.2.2.3.3.4.4.3.2.1.1.1.1.1 The software tools have been verified and constraints been noted
[Back to main map]
Parent nodes:
Is a subclaim of
Claim
:
C1.2.2.3.3.4.4.3.2.1.1.1.1 The software responsible for decision making for this SIF is adequate (symbolic AI)
Child nodes:
Has evidence
Evidence
:
E1.2.2.3.3.4.4.3.2.1.1.1.1.1.1 Tool verification report