News
Docs Page Improvement
📚 We have given the ESBMC documentation a thorough cleanup. When the docs moved to this site, much of the content was carried over verbatim from the old wiki: one enormous documentation page that mixed every topic together, duplicated other pages, and was hard to navigate. We have reorganized it into something far easier to read. Build guide, by platform. The build guide is now a set of per-OS tabs — Ubuntu/Debian, Fedora, macOS, FreeBSD and Windows — where each tab is a self-contained sequence of steps with the optional bits tucked into collapsible sections. The duplicate Linux and Windows build pages that used to confuse contributors are gone.
June 6, 2026
New Website Announcement
🚀 Exciting News! We are pleased to announce our new ESBMC website. ESBMC 🔍 is a mature, permissively licensed open-source SMT-based bounded model checker for C, C++, Python, Rust, and Solidity programs, verifying both single and multi-threaded software and detecting bugs such as division by zero, pointer safety, overflow, memory leaks, and more. Before this update, the documentation and news was fragmented across several websites: ssvlab.github.io/esbmc github.com/esbmc/esbmc/wiki esbmc.github.io/esbmc The new site consolidates all documentation, tutorials, news, and downloads into a single, up-to-date location 📚🔗. We aim to keep this website as up-to-date as possible!
December 7, 2025
Old News
02/09/2022 ESBMC v7.0 released for all platforms. 30/12/2020 ESBMC v6.7 for all platforms. 30/12/2020 ESBMC v6.6 for Linux and MacOS released. 30/12/2020 ESBMC has successfully participated at the 10th Intl. Competition on Software Verification held at TACAS 2021 in Luxembourg. ESBMC won first place in the ReachSafety-XCSP subcategory. Second place in the SoftwareSystems-AWS-C-Common-ReachSafety, ReachSafety-ECA, and ReachSafety-Arrays subcategories. Fourth place in the ReachSafety category. Fifth place in the SoftwareSystems category. Overall, the sixth place among 25 state-of-the-art software verifiers at SV-COMP 2021!
December 7, 2025