Project-Specific Verification