Daniel Schemmel
Daniel Schemmel
Blog
Publications
floating point arithmetic
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 …
Cite
×