An Approach to Applying Genetic Algorithm to Predicate Refinement
Xiaolei Gao · 2003
Selecting rules is the most difficult and creative work in predicate refinement. This paper gives a method of refinement from specification to program code by combining Manna's program synthesis method with Caroll Morgan's refinement calculus. The paper also presents a method for applying genetic algorithm to predicate refinement.