Formal verification tool for numerical programs
