-
Static analysis of finite precision computations
E Goubault,
S Putot - ... Workshop on Verification, Model Checking, and ..., 2011 - Springer
... x ,r x ,e x ) relying on a zonotopic weakly-relational abstract domain for the analysis of
real value variables, based on ideas from affine arithmetic [2]: these domains that we developed ...