Software Verification Methods Analysis