Static and Dynamic Verification

Static verification: Techniques of verification that do not include execution of the software.

? May be manual or use computer tools.

Dynamic verification

? Testing the software with trial data.

? Debugging to remove errors.