Verifying a Synthesized Implementation of IEEE-754 Floating-Point Exponential Function using HOL
2009 ◽
Vol 15
(11)
◽
pp. 1137-1143
Keyword(s):
Keyword(s):
1989 ◽
Vol 15
(2)
◽
pp. 144-157
◽