← Policy gallery

code_verified

software-assurance safety pure_temporal software-assurancedo-178cavionicsverificationrag-reddal-A-C

Source code is verified (review/analysis) for compliance with the low-level requirements and coding standards.

Formula

G(SourceCode → reviewed ∨ analyzed)

Why it matters

DO-178C Table A-5: source code is verified for compliance, accuracy, and conformance to standards before integration. Not required at DAL D.

Examples

passes see rationale

fails the required objective evidence is absent

Use it

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