Making Formal Property Verification Mainstream: An Intel® Graphics Experience

M Achutha Kiran, Kumar V., Erik Seligman, Aarti Gupta, Bindumadhava S. S., and Abhijith A. Bharadwaj