标签： verification model-checking
我安装了Berekeley-abc模型检查器，您可以在该地址中单击here
但是我不知道如何使用它，也找不到这个模型检查器的任何好例子
答案 0 :(得分：0)
here在“编程说明”部分中，有3个文件以ABC模型检查器开头