Verification# Verification report Scope and environment Test inventory Requirement coverage Structural coverage of the tool Static analysis End-to-end validation Deviations