Making Formal Property Verification Mainstream: An Intel® Graphics Experience

Author(s):
M Achutha Kiran, Kumar V., Erik Seligman, Aarti Gupta, Bindumadhava S. S., and Abhijith A. Bharadwaj
Location:
United States
Year:
2017
Type:
Presentation
Format:
pdf