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

Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

94 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Encoding Floating-Point Numbers Using the SMT Theory in ESBMC: An Empirical Evaluation over the SV-COMP Benchmarks'. Together they form a unique fingerprint.

Computer Science