Статистика для Огляд методів верифікації параметризованих моделей