системы анализа и верификации