Equivalence Checking of a Floating−Point Unit Against a High−Level C Model
Rajdeep Mukherjee‚ Saurabh Joshi‚ Andreas Griesmayer‚ Daniel Kroening and Tom Melham
Book Title
FM 2016: Formal Methods − 21st International Symposium‚ Limassol‚ Cyprus‚ November 9−11‚ 2016‚ Proceedings
Editor
John S. Fitzgerald and Constance L. Heitmeyer and Stefania Gnesi and Anna Philippou
ISBN
978−3−319−48988−9
ISSN
0302−9743
Pages
551–558
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
9995
Year
2016