题
是否有简单的模型检查工具。我计划实现一个模型检查工具,它将分析一些预定义属性的代码。
其他提示
CBMC 是一个我知道的简单工具实际操作代码。一般来说,模型检查是一个经过深入研究的领域,但是正如人们已经评论过的那样,这种广度使得很难用所提供的信息提出建议。有成千上万的SAT解算器,HDL /状态机验证的正式工具,以及大量商用静态源分析器。
无论如何,CBMC是一个很好的工具,但不要相信我的意思;这项工作背后的主要教员埃德克拉克今年赢得了图灵奖; - )
不隶属于 StackOverflow