floating-point constraint solving

Floating-Point Symbolic Execution: A Case Study in N-Version Programming

Symbolic execution is a well-known program analysis technique for testing software, which makes intensive use of constraint solvers. Recent support for floating-point constraint solving has made it feasible to support floating-point reasoning in …