Immune System Inspired Approach for Program Verification