Doron A. Peled,
Tutorial on Synthesis of Parametric Programs using Genetic Programming and Model Checking
We show how the use of genetic programming, in combination of
model checking and testing, provides a powerful way to synthesize
programs. Whereas classical algorithmic synthesis provides alarming
high complexity and undecidability results, the genetic approach provides
a surprisingly successful heauristics. We describe several versions of
a method for synthesizing sequential and concurrent systems. To cope with
the constraints of model checking and of theorem proving, we combine
such exhaustive verification methods with testing. We show several
examples where we used our approach to synthesize, improve and correct code.