标签： file nusmv
我想在NuSMV中实现一个过渡系统，该系统在.txt文件中指定，我希望该工具读取该文件，然后从中构建TS。 文件格式为：
6
1 2
2 3
3 4
4 5
5 6
这是一个特殊的示例，其中6是顶点/节点的总数，后跟指定其中边的元组。我已经看过NuSMV中的一些示例，但是没有得到任何相关的示例来读取描述过渡系统的文件。有人可以帮忙吗？