Mikhail Y. R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer 0002, Denis A. Nicole
ESBMC 5.0: an industrial-strength C model checker
ASE, 2018.
@inproceedings{ASE-2018-GadelhaMMC0N,
author = "Mikhail Y. R. Gadelha and Felipe R. Monteiro and Jeremy Morse and Lucas C. Cordeiro and Bernd Fischer 0002 and Denis A. Nicole",
booktitle = "{Proceedings of the 33rd International Conference on Automated Software Engineering}",
doi = "10.1145/3238147.3240481",
pages = "888--891",
publisher = "{ACM}",
title = "{ESBMC 5.0: an industrial-strength C model checker}",
year = 2018,
}