LLR Verified

error

llr_verified

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

Low-level requirements / design are verified by review or analysis.

Formula

G(LLR → reviewed)

Why it matters

DO-178C Table A-4: low-level requirements and software architecture are verified for compliance, accuracy and consistency. Reviews of design are not required at DAL D.

Examples

passes see rationale

fails the required objective evidence is absent

Use it

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