Describir: Verification Across Intellectual Property Boundaries.