News
New Website Announcement
#ESBMC#FormalVerification#ModelChecking#OpenSource#SoftwareVerification
🚀 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