Hoare Logic-based Genetic Programming

Pei, He, Lishan, Kang, Johnson, Colin G., Shi, Ying (2011) Hoare Logic-based Genetic Programming. Science China Information Sciences, 54 (3). pp. 623-637. ISSN 1674-733X. E-ISSN 1869-1919. (doi:10.1007/s11432-011-4200-4)

PDF - Author's Accepted Manuscript
Download (314kB) Preview
[img]
Preview
Official URL
https://link.springer.com/article/10.1007/s11432-0...

Abstract

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.

Item Type: Article
DOI/Identification number: 10.1007/s11432-011-4200-4
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Q Science > QA Mathematics (inc Computing science) > QA 9 Formal systems, logics
Divisions: Faculties > Sciences > School of Computing
Depositing User: Colin Johnson
Date Deposited: 11 Dec 2018 15:25 UTC
Last Modified: 30 May 2019 08:33 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/70944 (The current URI for this page, for reference purposes)
Johnson, Colin G.: https://orcid.org/0000-0002-9236-6581
  • Depositors only (login required):

Downloads

Downloads per month over past year