Software Verification Process