The process of proving a software conforms to some formal standard. It is correct because I proved that certain errors do not exist in the system Concepts Static Verification Software Proof Software Inspections Dynamic Verification Testing Fuzzing Taint Analysis