← Policy gallery

verification_independent

software-assurance safety pure_temporal software-assurancedo-178cavionicsverificationrag-amberdal-A-B

At DAL A/B, verification of the development outputs is performed with independence.

Formula

G((HLR ∨ LLR ∨ SourceCode) ∧ dal_a → independent_review)

Why it matters

DO-178C Annex A 'with independence' columns: a number of verification objectives must be satisfied with independence at Levels A and B.

Examples

passes see rationale

fails the required objective evidence is absent

Use it

ponens policies add verification_independent --into ./trace.json
ponens trace check ./trace.json