NuSMV にトランジション システムを実装したいと考えています。このトランジション システムは .txt ファイルで指定されており、ツールで読み取り、そこから TS をビルドします。ファイル形式は次のとおりです。
6
1 2
2 3
3 4
4 5
5 6
これは、頂点/ノードの総数が 6 で、その後にそれらの間のエッジを指定するタプルが続く特定の例です。NuSMV でいくつかの例を見てきましたが、遷移システムを記述したファイルを読み取るための適切な例が得られません。誰でも助けることができますか？