Automatic verification of non-recursive algorithm of Hanoi Tower by using Isabelle Theorem Prover | IEEE Conference Publication | IEEE Xplore