CBMC作为独立？

是否可以独立运行CBMC作为独立的Visual Express？我是否需要重新编译它或者是否还有其他技巧？CBMC作为独立？

我只需要使用CBMC定期将函数转换为CNF，所以我想用函数名称来调用它，将cnf文件写入磁盘并重新启动。我不想使用Visual Studio。

2014-11-15 Adrian Monk

完全可以将The CBMC model checker作为独立程序运行。我在Linux和Windows 7上每周都会这样做:)

我假设你在Windows上是因为Visual Studio。

打开命令提示符并导航到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

来源

2015-04-15 20:50:05

非常感谢你。那是我寻找的答案。 –

@AdrianMonk没问题:)如果遇到问题，请查看手册，或者进一步编辑问题。如果一切都适合你，请随时上传和/或接受我的答案。 –

Tusen Takk。我想制作cnf文件，但之后需要进行分区以便更好地计算。你也有这个工作吗？也许Metis？我有一个问题需要将cnf文件导入Metis。 –

CBMC作为独立？

回答

相关问题