Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis.

Anastasiia Izycheva Eva Darulova Helmut Seidl

Published in: SAS (2020)

Keyphrases

floating point
fixed point
instruction set
sparse matrices
square root
model checking
higher order
fast fourier transform
interval arithmetic
floating point arithmetic
high quality
dynamic programming
scheduling problem
formal verification