Account Options

  1. Sign in
The old Google Groups will be going away soon, but your browser is incompatible with the new version.
Google Groups Home
« Groups Home
The CProver Group
Home
About this group
Join this group
CBMC Release 4.0
Options
There are currently too many topics in this group that display first. To make this topic appear first, remove this option from another topic.
There was an error processing your request. Please try again.
flag
   1 message - Collapse all  -  Translate all to Translated (View all originals)
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
 
From:
To:
Cc:
Followup To:
Add Cc | Add Followup-to | Edit Subject
Subject:
Validation:
For verification purposes please type the characters you see in the picture below or the numbers you hear by clicking the accessibility icon. Listen and type the numbers you hear
 
Daniel Kroening  
View profile  
 More options Jun 14 2011, 2:53 pm
From: Daniel Kroening <Kroen...@comlab.ox.ac.uk>
Date: Tue, 14 Jun 2011 19:53:14 +0100
Local: Tues, Jun 14 2011 2:53 pm
Subject: CBMC Release 4.0
Print | Individual message | Show original | Report this message | Find messages by this author
We are pleased to announce the release of CBMC version 4.0.

This is again mostly a maintenance release, which fixes problems of the previous versions. The main emphasis has been better support for low-level accesses to dynamically allocated data structures. The release also includes numerous front-end improvements.

Both CBMC 4.0 and HW-CBMC 4.0 are available in binary form at http://www.cprover.org/cbmc/ for the following architectures:

* Linux:
 http://www.cprover.org/cbmc/download/cbmc-4-0-linux-32.tgz
 http://www.cprover.org/cbmc/download/cbmc-4-0-linux-64.tgz
 http://www.cprover.org/cbmc/download/cbmc_4.0_i386.deb
 http://www.cprover.org/cbmc/download/cbmc_4.0_amd64.deb

Debian unstable includes a package for CBMC, which can be installed via apt-get (we will therefore eventually discontinue the distribution of the binary packages above).

* Windows:
 http://www.cprover.org/cbmc/download/cbmc-4-0-win.zip

* MacOS X 64 bit Intel:
 http://www.cprover.org/cbmc/download/cbmc-4-0.pkg

The source code is available via SVN at http://www.cprover.org/svn/cbmc/releases/cbmc-4.0.

The new HTML-based manual is available at:

http://www.cprover.org/cprover-manual/

The manual not only covers CBMC, but also HW-CBMC and SATABS.

You may also be interested in the following related papers:

1) Automatic Analysis of DMA Races Using Model Checking and k-induction
The paper describes a variant of BMC that can prove properties for unbounded loops.
http://www.kroening.com/publications/view-publications-dkr2011-fmsd.html

2) Test-Case Generation for Embedded Simulink via Formal Concept Analysis
The paper describes an application of CBMC to test-vector generation for Simulink.
http://www.kroening.com/publications/view-publications-hrk2011-dac.html


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
End of messages
« Back to Discussions « Newer topic     Older topic »

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2013 Google