Context-Bounded Model Checking with ESBMC 1.17 (Competition Contribution)

Lucas Cordeiro, Jeremy Morse, Denis Nicole, Bernd Fischer

Research output: Contribution to journalArticlepeer-review


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.
Original languageEnglish
Pages (from-to)534-537
JournalLecture Notes in Computer Science
Publication statusPublished - 2012


Dive into the research topics of 'Context-Bounded Model Checking with ESBMC 1.17 (Competition Contribution)'. Together they form a unique fingerprint.

Cite this