Filewatcher File Search File Search
Catalog
Content Search
» » » » »

cbmc

bounded model checker for C and C++ programs

Variants:
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.
Homepage:
Package version:4.1-1.2
Architecture:armel
Distribution:Debian
Filename:cbmc_4.1-1.2_armel.deb

/usr/share/doc/cbmc/changelog.Debian.gz

cbmc (4.1-1.2) unstable; urgency=low

  * Non-maintainer upload.
  * Update fix-FTBFS-with-gcc-4.7.patch patch.
    Fix FTBFS with gcc 4.7 on kfreebsd and hurd.
    Thanks to Steven Chamberlain <steven@pyro.eu.org> for the patch.
    (Closes: #673579)

 -- Salvatore Bonaccorso <carnil@debian.org>  Sun, 20 May 2012 07:55:28 +0200

cbmc (4.1-1.1) unstable; urgency=low

  * Non-maintainer upload.
  *
more»

/usr/share/doc/cbmc/copyright

Format-Specification: http://dep.debian.net/deps/dep5/
Upstream-Name: cbmc
Upstream-Contact: Daniel Kroening <kroening@handshake.de>
Source: http://www.cprover.org/cbmc/


Files: *
Copyright: 2001-2011, Daniel Kroening, Edmund Clarke,
           Computer Science Department, Oxford University
           Computer Systems Institute, ETH Zurich
           Computer Science Department, Carnegie Mellon U
more»

Browse inside cbmc_4.1-1.2_armel.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download cbmc_4.1-1.2_armel.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com