The University of Southampton


Morse, Jeremy, Ramalho Gadelha, Mikhail, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2014) ESBMC 1.22. In, Tools and Algorithms for the Construction and Analysis of Systems. 20th International Conference, TACAS 2014 Springer, pp. 405-407. (Lecture Notes in Computer Science, 8413) ,

Gadelha, Mikhail Y.R., Cordeiro, Lucas C. and Nicole, Denis A. (2017) Encoding floating-point numbers using the SMT theory in ESBMC: An empirical evaluation over the SV-COMP benchmarks. Cavalheiro, Simone and Fiadeiro, Jose (eds.) In Formal Methods: Foundations and Applications. vol. 10623, Springer International Publishing. 91 pp. (doi:10.1007/978-3-319-70848-5_7).


Share this profile FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.