在NuSMV中最大可行n

Question

我正在努力研究NuSMV上的河内塔问题。对于n个磁盘，需要2 ^ n - 1步。我怎么能弄清楚NuSMV哪个是可行的？ hanoi_model

提前致谢！ Nivetha