Title :
Formal Development of Non-recursive Algorithm for Koch Curve
Author :
Yang, Qiuchen ; Liu, Runjie ; Shen, Jinyuan ; Mu, Weixin
Author_Institution :
Schools of Inf. Eng., Zhengzhou Univ., Zhengzhou, China
Abstract :
Formal method is an important approach for constructing the trustworthy software. Koch curve is one of the typical fractals graph. A non-recursive algorithm of Koch curve is proposed by employing PAR method and the strategy of developing loop invariant. This algorithm is verified formally. This paper achieves loop invariant of Koch curve with readable, efficient and reliable non-recursive algorithm finally.
Keywords :
formal verification; fractals; graph theory; Koch curve; PAR method; formal development; fractals graph; loop invariant; nonrecursive algorithm; trustworthy software; Algorithm design and analysis; Computer science; Computers; Fractals; Partitioning algorithms; Software algorithms; Sun; Formal method; Koch curve; Loop invariant; Non-recursive; PAR method;
Conference_Titel :
Chaos-Fractals Theories and Applications (IWCFTA), 2010 International Workshop on
Conference_Location :
Kunming, Yunnan
Print_ISBN :
978-1-4244-8815-5
DOI :
10.1109/IWCFTA.2010.93
