{"title":"科赫曲线非递归算法的形式化发展","authors":"Qiuchen Yang, Runjie Liu, Jinyuan Shen, Weixin Mu","doi":"10.1109/IWCFTA.2010.93","DOIUrl":null,"url":null,"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.","PeriodicalId":157339,"journal":{"name":"2010 International Workshop on Chaos-Fractal Theories and Applications","volume":"22 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-10-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Formal Development of Non-recursive Algorithm for Koch Curve\",\"authors\":\"Qiuchen Yang, Runjie Liu, Jinyuan Shen, Weixin Mu\",\"doi\":\"10.1109/IWCFTA.2010.93\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":157339,\"journal\":{\"name\":\"2010 International Workshop on Chaos-Fractal Theories and Applications\",\"volume\":\"22 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-10-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2010 International Workshop on Chaos-Fractal Theories and Applications\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/IWCFTA.2010.93\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 International Workshop on Chaos-Fractal Theories and Applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IWCFTA.2010.93","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Formal Development of Non-recursive Algorithm for Koch Curve
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.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
