Activity overview of activity "Perform static verification of software units"
Activity break down of activity "Perform static verification of software units"
Brief description of activity "Perform static verification of software units"
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.