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. (Lecture Notes in Computer Science, 8413) 20th International Conference, TACAS 2014 Springer, pp. 405-407.

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: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings. vol. 10623, Springer International Publishing. 91 pp . (doi:10.1007/978-3-319-70848-5_7).

Gadelha, Mikhail R., R. Monteiro, Felipe, Cordeiro, Lucas and Nicole, Denis (2018) Towards counterexample-guided k-induction for fast bug detection. In ESEC/FSE 2018 Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ACM. pp. 765-769 . (doi:10.1145/3236024.3264840).

Gadelha, Mikhail Y.R., I. Ismail, Hussama and C. Cordeiro, Lucas (2017) Handling loops in bounded model checking of C programs via k-induction. International Journal on Software Tools for Technology Transfer, 19 (1), 97-114. (doi:10.1007/s10009-015-0407-9).


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.