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

Download