Hoare logic-based genetic programming

DOI10.1007/s11432-011-4200-4zbMath1219.68144OpenAlexW2028585812MaRDI QIDQ543275

Colin G. Johnson, Shi Ying, Pei He, Lishan Kang

Publication date: 17 June 2011

Published in: Science China. Information Sciences (Search for Journal in Brave)

Full work available at URL: http://engine.scichina.com/doi/10.1007/s11432-011-4200-4

zbMATH Keywords

model checkinggenetic programmingHoare logicprogram verificationfinite state automata

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Modeling grammatical evolution by automaton ⋮ Quasi-linear modeling of gyroresonance between different MLT chorus and geostationary orbit electrons ⋮ Model approach to grammatical evolution: theory and case study ⋮ Model approach to grammatical evolution: deep-structured analyzing of model and representation ⋮ A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models

Uses Software

• MCGP

Cites Work

• Verification is experimentation!
• Mathematical theory of partial correctness
• Logic in Computer Science
• Model Checking-Based Genetic Programming with an Application to Mutual Exclusion
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item