Ключевая фраза: формально-количественный анализ.