For example,Бобцов

APPLICATION OF GENETIC PROGRAMMING AND MODEL CHECKING FOR FINITE-STATE MACHINE INDUCTION ON THE BASE OF TESTS AND SPECIFICATION

Annotation

We describe the method of finite state machine induction using both genetic programming and model verification 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.

Keywords

Articles in current issue