← 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)

Hover any operator or symbol for what it means.

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