Hoare logic-based genetic programming

DOI10.1007/S11432-011-4200-4MaRDI QIDQ543275zbMATH OpenOpenAlexFDO

Authors Colin 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

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

Recommendations

• Model Checking-Based Genetic Programming with an Application to Mutual Exclusion
• Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms
• scientific article; zbMATH DE number 2044666
• scientific article; zbMATH DE number 2087204
• scientific article; zbMATH DE number 1500556

Cites work

• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 1131224 (Why is no real title available?)
• scientific article; zbMATH DE number 1517989 (Why is no real title available?)
• scientific article; zbMATH DE number 1872151 (Why is no real title available?)
• scientific article; zbMATH DE number 756753 (Why is no real title available?)
• scientific article; zbMATH DE number 795587 (Why is no real title available?)
• scientific article; zbMATH DE number 795588 (Why is no real title available?)
• scientific article; zbMATH DE number 5254145 (Why is no real title available?)
• A comparison of several linear genetic programming techniques
• A composite reuse of architectural connectors using reflection
• An axiomatic basis for computer programming
• Logic in Computer Science
• Mathematical theory of partial correctness
• Model Checking-Based Genetic Programming with an Application to Mutual Exclusion
• Verification is experimentation!

Cited in

(9)

• Model Checking-Based Genetic Programming with an Application to Mutual Exclusion
• Model approach to grammatical evolution: deep-structured analyzing of model and representation
• A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models
• Model approach to grammatical evolution: theory and case study
• scientific article; zbMATH DE number 2044666 (Why is no real title available?)
• Modeling grammatical evolution by automaton
• Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms
• Quasi-linear modeling of gyroresonance between different MLT chorus and geostationary orbit electrons
• Inductive Logic Programming

Describes a project that uses

Uses Software

• MCGP

This page was built for publication: Hoare logic-based genetic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q543275)