Formal Verification of a Floating-Point Expansion Renormalization Algorithm.

Sylvie Boldo Mioara Joldes Jean-Michel Muller Valentina Popescu

Published in: ITP (2017)

Keyphrases

dynamic programming
floating point
np hard
formal verification
search space
energy function
matching algorithm
probabilistic model
square root
fast fourier transform