CBMC Release 5.3

[Daniel Kroening]

We are pleased to announce the release of CBMC version 5.3.

This is a minor release, focused primarily on maintenance. The primary
area of attention is the Java front-end.

CBMC 5.3 is available in binary form at http://www.cprover.org/cbmc/ for
the following architectures:

* Linux:
http://www.cprover.org/cbmc/download/cbmc-5-3-linux-32.tgz
http://www.cprover.org/cbmc/download/cbmc-5-3-linux-64.tgz

Recall that CBMC packages come with Debian, Ubuntu and Fedora.

* Windows (32 bit and 64 bit):
http://www.cprover.org/cbmc/download/cbmc-5-3-win.zip

* MacOS X binary for 64 bit Intel for OS X 10.6 or higher:
http://www.cprover.org/cbmc/download/cbmc-5-3.pkg

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

http://www.cprover.org/cbmc/download/cbmc-5.3-src.tgz

From source, binaries for FreeBSD 10 and Solaris 11 can be built. Note
that version 5.3 requires a C++11 compiler.

As a reminder, the HTML-based manual is available at:

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

HW-CBMC is now distributed separately.

You may also be interested in the following papers:

* Learning the Language of Error
http://www.kroening.com/papers/atva2015.pdf

* Unfolding-based Partial Order Reduction
http://drops.dagstuhl.de/opus/volltexte/2015/5363/pdf/3.pdf

Daniel