---
Bug-Database: https://github.com/esbmc/esbmc/issues
Bug-Submit: https://github.com/esbmc/esbmc/issues/new
Repository: https://github.com/esbmc/esbmc.git
Repository-Browse: https://github.com/esbmc/esbmc
Documentation: https://esbmc.org
Reference:
 - Author: >-
     Mikhail Y. R. Gadelha,
     Felipe R. Monteiro,
     Jeremy Morse,
     Lucas C. Cordeiro,
     Bernd Fischer,
     Denis A. Nicole
   Title: "ESBMC 5.0: an industrial-strength C model checker"
   Booktitle: >-
     33rd ACM/IEEE International Conference on Automated Software
     Engineering (ASE)
   Year: 2018
   DOI: 10.1145/3238147.3240481
