A Floating-Point Numbers Theory for Event-B.

Idir Aït-Sadoune

Published in: MEDI (2023)

Keyphrases

floating point
fixed point
square root
instruction set
low cost
sparse matrices
pairwise
constraint propagation
interval arithmetic