是否有可能将CBMC作为Visual Express独立运行？我需要重新编译它吗？ 还有另外一招吗？
我只需要使用CBMC定期将功能转换为CNF，所以我想用它来调用它 函数名称，将cnf文件写入磁盘并重新启动。我不想使用Visual Studio。
答案 0 :(得分：2)
完全可以将The CBMC model checker作为独立程序运行。 我每周在Linux和Windows 7上都这样做：）
我假设你因为Visual Studio而在Windows上。
打开命令提示符并导航到cbmc.exe所在的文件夹，然后调用它：cbmc --help ...以查看您拥有的选项。
user manual在3.2 Command line interface中有一节介绍如何操作。
您可能必须调用为CLI设置Visual Studio环境的批处理脚本（VSVARS32.bat / vsvarsall.bat等）。
在某些Windows计算机上，如果我没记错的话，该脚本会放在c:\program files\microsoft visual studio\[version]\vc\bin\中。
有关详细信息，请参阅此MSDN页面：https://msdn.microsoft.com/en-us/library/f2ccy3wt.aspx