Совместное применение генетического программирования и верификации моделей для п