ESBMC: An Efficient SMT-based Bounded Model Checker
line decor
line decor

FUNDING
 

The development of ESBMC was supported by EPSRC under the NOTOS project (grant EP/E012973/1), Royal Society, Samsung, FAPEAM, and Nokia Institute of Technology.

 

 
CONTRIBUTORS
 
Felipe Monteiro
Hendrio Marques
Jeremy Morse
Mauro Lopes
Mikhail Ramalho