Automatic verification of non-recursive algorithm of Hanoi Tower by using Isabelle Theorem Prover.
| Autor: | Xu, Huazhen, You, Zhen, Xue, Jinyun |
|---|---|
| Zdroj: | 2016 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing (SNPD); 2016, p13-18, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|