Fixed-Point Arithmetic Modeled in B Software Using Reals.

Jérôme Guéry Olivier Rolland Joris Rehm

Published in: ABZ (2014)

Keyphrases

fixed point
floating point
constraint databases
sufficient conditions
dynamical systems
belief propagation
bargaining solution
fixed point theorem
graphical models
free energy
high quality
multi view
variational inequalities