SATABS 3.0 released

82 views
Skip to first unread message

Daniel Kroening

unread,
Aug 10, 2011, 2:15:05 PM8/10/11
to cpr...@googlegroups.com
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:



Reply all
Reply to author
Forward
0 new messages