A practical approach to applying formal methods to guide the development of numerically intensive control systems.