SWE.4.BP3 Perform static verification of software units
(
)
Verify software units for correctness using the defined criteria for verification. Record the results of the static verification. NOTE 4: Static verification may include static analysis, code reviews, checks against coding standards and guidelines, and other techniques. NOTE 5: See SUP.9 for handling of non-conformances.