Formally Verifying Graphics FPU

Lecture Notes in Computer Science - FM 2014: Formal Methods ◽

10.1007/978-3-319-06410-9_45 ◽

2014 ◽

pp. 673-687

Author(s):

Aarti Gupta ◽

M. V. Achutha KiranKumar ◽

Rajnish Ghughal

Download Full-text