Making Formal Property Verification Mainstream: An Intel® Graphics Experience