Hoare logic-based genetic programming  

作　　者：HE Pei KANG LiShan JOHNSON Colin G YING Shi 

机构地区：[1]State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072, China [2]School of Computer and Communication Engineering, Changsha University of Science and Technology, Changsha 410076, China [3]Computing Laboratory, University of Kent, Canterbury, CT2 7NF, England

出　　处：《Science China(Information Sciences)》2011年第3期623-637,共15页中国科学（信息科学）（英文版）

基　　金：supported by the National Natural Science Foundation of China (Grant No. 60473081);the State Key Laboratory of Software Engineering, Wuhan University (Grant No. SKLSE 20080701)

摘　　要：Almost all existing genetic programming systems deal with fitness evaluation solely by testing. In this paper, by contrast, we present an original approach that combines genetic programming with Hoare logic with the aid of model checking and finite state automata, henceby proposing a brand new verification-focused formal genetic programming system that makes it possible to evolve reliable programs with mathematically-verified properties.

关 键 词：genetic programming program verification Hoare logic model checking finite state automata 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论] TP18[自动化与计算机技术—计算机科学与技术]