Effective Code Inspection Demonstration using QA·Verify