Visual Studio Integration for CBMC -- first release

225 views
Skip to first unread message

Daniel Kroening

unread,
Sep 14, 2012, 4:31:36 PM9/14/12
to cpr...@googlegroups.com
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

http://www.cprover.org/cbmc/download/CPROVER_Plugin-1-0.vsix

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

http://www.cprover.org/cbmc/download/cbmc-4-2-win.zip

A full tutorial will be released early next week.

Reply all
Reply to author
Forward
0 new messages