#1138660 ITP: esbmc -- Efficient SMT-based Context-Bounded Model Checker

Package:
wnpp
Source:
wnpp
Submitter:
王炜奇
Date:
2026-06-08 09:55:01 UTC
Severity:
normal
#1138660#5
Date:
2026-06-01 19:48:35 UTC
From:
To:
Package: wnpp Severity: wishlist X-Debbugs-CC: debian-devel@lists.debian.org * Package name : esbmc Version : 8.3.0 Upstream Author : ESBMC Development Team < esbmc@esbmc.org > * URL : https://esbmc.org * License : Apache-2.0, BSD-4-Clause Programming Lang: C++ Description : Efficient SMT-based Context-Bounded Model Checker ESBMC is a context-bounded model checker for the verification of single- and multi-threaded C/C++ and Python programs. It can automatically verify safety properties such as array bounds, pointer safety, and arithmetic overflow using SMT solvers including Z3.