SWE.4 Software Unit Verification
SWE.4.BP3 Perform static verification of software units