Making Formal Property Verification Mainstream: An Intel Graphics Experience

Author(s):
M Achutha KiranKumar V, Erik Seligman, Aarti Gupta, Ss Bindumadhava, and Abhijith Bharadwaj
Location:
United States
Year:
2017
Type:
Paper
Format:
pdf