Login / Signup

Encoding Floating-Point Numbers Using the SMT Theory in ESBMC: An Empirical Evaluation over the SV-COMP Benchmarks.

Mikhail Y. R. GadelhaLucas C. CordeiroDenis A. Nicole
Published in: SBMF (2017)
Keyphrases
  • floating point
  • fixed point
  • floating point arithmetic
  • square root
  • instruction set