Automatic verification of non-recursive algorithm of Hanoi Tower by using Isabelle Theorem Prover.

Huazhen Xu, Zhen You, Jinyun Xue

Browse the full SNPD paper archive.