Package: wnpp Severity: wishlist X-Debbugs-CC: [email protected] * Package name : esbmc Version : 8.3.0 Upstream Author : ESBMC Development Team < [email protected] > * 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.
