Package: wnpp Severity: wishlist Owner: Michael Tautschnig <m...@debian.org>
* 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
pgp426R7S7w82.pgp
Description: PGP signature
