0

我想在 NuSMV 中实现一个转换系统，该系统在一个 .txt 文件中指定，我希望该工具读取该文件，然后从中构建 TS。文件格式为：

6

1 2

2 3

3 4

4 5

5 6

这是一个特定示例，其中 6 是顶点/节点的总数，后面是指定它们之间的边的元组。我查看了 NuSMV 中的一些示例，但没有得到任何相关示例来读取描述转换系统的文件。有人可以帮忙吗？

4

0 回答 0