News
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