Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic.

Stella Simic Omar Inverso Mirco Tribastone

Published in: SEFM (2021)

Keyphrases

fixed point
floating point
dynamical systems
sufficient conditions
lookup table
fixed point theorem
initial conditions
high quality
preprocessing
model checking
belief propagation
variational inequalities
bargaining solution