← Policy gallery

hlr_verified

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

High-level requirements are verified for compliance, accuracy and consistency (review/analysis).

Formula

G(HLR → reviewed ∧ requirements_accurate)

Why it matters

DO-178C Table A-3: HLR are verified for compliance with system requirements, accuracy, consistency, verifiability and conformance to standards.

Examples

passes see rationale

fails the required objective evidence is absent

Use it

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