Program Analysis and Verification Static Analysis of Numerical Programs and Systems