Hoare logic-based genetic programming

被引：0
|
作者：
Pei He
LiShan Kang
Colin G. Johnson
Shi Ying
机构：
[1] Wuhan University,State Key Laboratory of Software Engineering
[2] Changsha University of Science and Technology,School of Computer and Communication Engineering
[3] University of Kent,Computing Laboratory
来源：
Science China Information Sciences | 2011年 / 54卷
关键词：
genetic programming; program verification; Hoare logic; model checking; finite state automata;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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.
引用
收藏
页码：623 / 637
页数：14
相关论文
共 50 条
  • [1] Hoare logic-based genetic programming
    JOHNSON Colin G.
    [J]. Science China(Information Sciences), 2011, 54 (03) : 623 - 637
  • [2] Hoare logic-based genetic programming
    He Pei
    Kang LiShan
    Johnson, Colin G.
    Ying Shi
    [J]. SCIENCE CHINA-INFORMATION SCIENCES, 2011, 54 (03) : 623 - 637
  • [3] Logic-based genetic programming with definite clause translation grammars
    Ross, BJ
    [J]. NEW GENERATION COMPUTING, 2001, 19 (04) : 313 - 337
  • [4] Logic-based genetic programming for multi-modal solutions
    Taniguchi, K
    Terano, T
    [J]. 2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 5765 - 5770
  • [5] Logic-based genetic programming with definite clause translation grammars
    Ross, BJ
    [J]. GECCO-99: PROCEEDINGS OF THE GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 1999, : 1236 - 1236
  • [6] Logic-based genetic programming with definite clause translation grammars
    Brian J. Ross
    [J]. New Generation Computing, 2001, 19 : 313 - 337
  • [7] HEngineering Hoare Logic-based Program Verification in K Framework
    Arusoaie, Andrei
    [J]. 2013 15TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2013), 2014, : 177 - 184
  • [8] OBTAINING ANALYTIC EXPRESSIONS OF GENETIC MODEL LIKELIHOODS BY LOGIC-BASED PROGRAMMING
    TEMEERMAN, G
    BABRON, MC
    MULLER, B
    CLERGETDARPOUX, F
    [J]. AMERICAN JOURNAL OF HUMAN GENETICS, 1993, 53 (03) : 866 - 866
  • [9] Keeping the diversity with small populations using logic-based genetic programming
    Taniguchi, K
    Terano, T
    [J]. GENETIC AND EVOLUTIONARY COMPUTATION GECCO 2004 , PT 2, PROCEEDINGS, 2004, 3103 : 724 - 725
  • [10] Analyzing dynamics of a supply chain using logic-based genetic programming
    Taniguchi, K
    Terano, T
    [J]. KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 1, PROCEEDINGS, 2004, 3213 : 464 - 471
12345