Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms

Abstract

Binary tree traversal algorithm can be applied in many aspects, such as information encryption, Network, operating systems, cluster computing and so on. We have already proposed a useful method to ...