ESBMC v7.4: Harnessing the Power of Intervals. - Rafael Menezes; Mohannad Aldughaim; Bruno Farias 001; Xianzhiyu Li; Edoardo Manino; Fedor Shmarov; Kunjian Song; Franz Brauße; Mikhail R. Gadelha; Norbert Tihanyi; Konstantin Korovin; Lucas C. Cordeiro (CoRR, 2023)

ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution). - Rafael Sá Menezes; Mohannad Aldughaim; Bruno Farias 001; Xianzhiyu Li; Edoardo Manino; Fedor Shmarov; Kunjian Song; Franz Brauße; Mikhail R. Gadelha; Norbert Tihanyi; Konstantin Korovin; Lucas C. Cordeiro (TACAS (3), 2024)

ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution). - Tong Wu; Xianzhiyu Li; Edoardo Manino; Rafael Sá Menezes; Mikhail R. Gadelha; Shale Xiong; Norbert Tihanyi; Pavlos Petoumenos; Lucas C. Cordeiro (TACAS (3), 2025)

ESBMC v7.6: Enhanced model checking of C++ programs with clang AST. - Xianzhiyu Li; Kunjian Song; Mikhail R. Gadelha; Franz Brauße; Rafael S. Menezes; Konstantin Korovin; Lucas C. Cordeiro (Sci. Comput. Program., 2025)