如何使用 Berkeley-ABC 模型检查器?

How to use Berkeley-ABC model checker?

我安装了 Berekeley-abc 模型检查器,您可以在此地址中找到点击 here

但我不知道如何使用它,而且我找不到这个模型检查器的任何好的例子

here 在编程笔记部分有 3 个文件以 ABC 模型检查器开头