Прочитать файл в NuSMV
Я хочу реализовать систему перехода в NuSMV, которая указана в файле.txt, который я хочу, чтобы инструмент прочитал, а затем создал TS из него. Формат файла:
6
1 2
2 3
3 4
4 5
5 6
Это конкретный пример, где 6 - это общее количество вершин / узлов, за которыми следуют кортежи, которые определяют ребра среди них. Я просмотрел некоторые примеры в NuSMV, но у меня нет соответствующего примера для чтения файла, описывающего систему перехода. Кто-нибудь может помочь?