Visual Studio Integration for CBMC -- first release

Skip to first unread message

Daniel Kroening

Sep 14, 2012, 4:31:36 PM9/14/12
We are pleased to announce the first release of the Visual Studio Integration for CBMC.

This software package is applicable to the full versions of Visual Studio 2010 and 2012 (the free Express editions or earlier versions are not supported). It provides a direct integration of CBMC and the related tools HW-CBMC and SATABS into the Visual Studio IDE.

The installer can be downloaded at

The cbmc.exe executable has to be installed in a directory in the PATH before usage, and is available at

A full tutorial will be released early next week.

Reply all
Reply to author
0 new messages