ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST

Xianzhiyu Li, Kunjian Song, Mikhail R. Gadelha +4

This paper presents Efficient SMT-Based Context-Bounded Model Checker (ESBMC) v7.6, an extended version based on previous work on ESBMC v7.3 by K. Song et al. The v7.3 introduced a…