Application of genetic programming and model checking for finite-state machine induction

In this paper, we describe the method of finite state machine induction using genetic programming with fitness based on testing and model checking. The description of chromosome structure, of genetic algorithm, of cross-over and mutation operations is given. Experimental results for the induction of elevator doors control system are given.