SWE.4.BP3 Perform static verification of software units
SWE.4.O.3 Software units are verified according to the software unit verification strategy and the defined criteria for software unit verification and the results are recorded