Электронный каталог: Проблемы формального анализа систем