[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#626635: ITP: cbmc -- bounded model checker for C and C++ programs

Package: wnpp
Severity: wishlist
Owner: Michael Tautschnig <mt@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

Attachment: pgpdfkMrutXku.pgp
Description: PGP signature

Reply to: