Hoare logic-based genetic programming

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 verif...

Full description

Saved in:
Bibliographic Details
Published inScience China. Information sciences Vol. 54; no. 3; pp. 623 - 637
Main Authors He, Pei, Kang, LiShan, Johnson, Colin G., Ying, Shi
Format Journal Article
LanguageEnglish
Published Heidelberg SP Science China Press 01.03.2011
Springer Nature B.V
Subjects
Automata theory
Automation
China
Computer Science
Fitness
Genetic algorithms
Genetics
Information Systems and Communication Service
Logic
Mathematical analysis
Mathematical models
Programming
Research Papers
genetic programming
program verification
model checking
finite state automata
Hoare logic
Online AccessGet full text

Cover

More Information
Summary: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 mathematicallyverified properties.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 23
ISSN:1674-733X
1869-1919
DOI:10.1007/s11432-011-4200-4