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) (KAR id:70944)
|
PDF
Author's Accepted Manuscript
Language: English |
|
|
Download this file (PDF/392kB) |
Preview |
| Request a format suitable for use with assistive technology e.g. a screenreader | |
| 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: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
| Depositing User: | Colin Johnson |
| Date Deposited: | 11 Dec 2018 15:25 UTC |
| Last Modified: | 16 Nov 2021 10:25 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/70944 (The current URI for this page, for reference purposes) |
University of Kent Author Information
Johnson, Colin G..
| Creator's ORCID: |
 https://orcid.org/0000-0002-9236-6581
|
|---|---|
| CReDIT Contributor Roles: |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Altmetric
Altmetric
