Encoding floating-points using the SMT theory in ESBMC: An empirical evaluation over the SV-COMP benchmarks (SBMF 2017 : 20th Brazilian Symposium on Formal Methods, 2017)

(untitled) - Gadelha, M; Cordeiro, L; Nicole, D