Методы искусственного интеллекта в задачах анализа данных и верификации программ