Construction of Hoare Triples under Generalized Model with Semantically Valid Genetic Operations

  • Authors:

  • Pei He;Lishan Kang;Daochang Huang

  • Affiliations:

  • School of Computer and Communication Engineering, Changsha University of Science and Technology, Chnagsha, P. R. China 410114 and State Key Laboratory of Software Engineering, Wuhan University, Wu ...;State Key Laboratory of Software Engineering, Wuhan University, Wuhan, P. R. China 430072 and School of Computer, China University of Geosciences, Wuhan, P. R. China 430074;School of Computer and Communication Engineering, Changsha University of Science and Technology, Chnagsha, P. R. China 410114

  • Venue:
  • ISICA '09 Proceedings of the 4th International Symposium on Advances in Computation and Intelligence
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper is a technical supplement of our original research in the combination of genetic programming (GP), Hoare logic, model checking, and finite state automaton for Hoare triple constructions. Although there is no problem in achieving this goal by first constructing the generalized models for some given Hoare triples, the desired Hoare triples from the application of general GP approaches to them still produce ineffective results and hence needs further improvement. In this paper, we solve it through the use of some semantically valid genetic operations. Precisely, we check logic relationships among Hoare triples and generalized models for their consistence.