SATABS 3.0 released

[Daniel Kroening]

We are happy to announce the release of SATABS version 3.0. This release fixes a number of bugs in the previous releases, and at the same time adds exciting new features.

The primary new feature is a new method for verifying shared-variable concurrent programs. Read our CAV 2010 and CAV 2011 papers for details and examples:

http://www.kroening.com/publications/view-publications-dkkw2011-cav.html

http://www.kroening.com/publications/view-publications-kkw2010-cav.html

Binary download:

Win32: http://www.cprover.org/satabs/download/satabs-3-0-win.zip
Linux: http://www.cprover.org/satabs/download/satabs-3-0-linux-32.tgz

Information about SATABS is in the new (HTML-based) manual:

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

The manual includes two tutorials:

http://www.cprover.org/cprover-manual/satabs-tutorials.shtml