DocumentCode
1709505
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
fYear
2010
Firstpage
458
Lastpage
461
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Chaos-Fractals Theories and Applications (IWCFTA), 2010 International Workshop on
Conference_Location
Kunming, Yunnan
Print_ISBN
978-1-4244-8815-5
Type
conf
DOI
10.1109/IWCFTA.2010.93
Filename
5671255
Link To Document