logo

Activity overview of activity "Perform static verification of software units"

spem diagram of the activity overview: Perform static verification of software units

Activity break down of activity "Perform static verification of software units"

spem diagram of the activity breakdown: 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.