Visual Studio Integration for CBMC -- first release
234 views
Skip to first unread message
Daniel Kroening
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.
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