Context-Bounded Model Checking with ESBMC 1.17 (Competition Contribution)
Lucas Carvalho Cordeiro, Jeremy Morse, Denis A. Nicole, Bernd Fischer · Research Explorer (The University of Manchester) · 2012
ESBMC is a context-bounded symbolic model checker for single- and multi-threaded ANSI-C code. It converts the verification conditions using different background theories and passes them directly to an SMT solver.