Package: wnpp Severity: wishlist Owner: Michael Tautschnig <[email protected]>
* Package name : cbmc Version : 3.9 Upstream Author : Daniel Kroening * URL : http://www.cprover.org/cbmc/ * License : 4-clause BSD Programming Lang: C++ Description : bounded model checker for C and C++ programs CBMC generates traces that demonstrate how an assertion can be violated, or proves that the assertion cannot be violated within a given number of loop iterations. Best regards, Michael
pgps1fRuTVBDX.pgp
Description: PGP signature
