Making Formal Property Verification Mainstream: An Intel® Graphics Experience

Author(s):
M Achutha KiranKumar V, Bindumadhava S S, Abhijith A Bharadwaj
Location:
India
Year:
2017
Type:
Presentation
Format:
pptx