CBMC Release 5.8

[Daniel Kroening]

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

This is a minor release, with a focus on maintenance.

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

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

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

* Windows (64 bit only):
http://www.cprover.org/cbmc/download/cbmc-5-8-win.zip

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

The source code is available on GitHub.

From source, binaries for FreeBSD and Solaris can be built.

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

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

You may also be interested in the following papers:

* Effective Verification for Low-Level Software with Competing Interrupts
http://www.kroening.com/papers/tecs2018.pdf

* Lifting CDCL to Template-based Abstract Domains for Program Verification
http://www.kroening.com/papers/atva2017.pdf

* Modular Demand-Driven Analysis of Semantic Difference for Program Versions
http://www.kroening.com/papers/sas2017.pdf

* Abstract Interpretation with Unfoldings
http://www.kroening.com/papers/cav2017-2.pdf

* Formal Techniques for Effective Co-verification of Hardware/Software
Co-designs
http://www.kroening.com/papers/dac2017.pdf

* Automated Formal Synthesis of Digital Controllers for State-Space
Physical Plants
http://www.kroening.com/papers/cav2017-1.pdf

With best regards,

Daniel