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