Лаборатория математических проблем компьютерной безопасности (МПКБ)

Лаборатория основана в ноябре 2001 года. В её составе — 3 штатных сотрудника. Лабораторией разработаны новые алгоритмы статического анализа программ, включая:

• алгоритм проверки выполнимости формул темпоральной логики PLTL на моделях последовательных императивных программ с рекурсивными вызовами процедур,
• алгоритмы вычисления потоков данных и выявления функциональной зависимости между переменными и операторами программы,
• алгоритмы построения графов зависимости компонентов программ по управлению и данным,
• алгоритм расслоения программ,
• алгоритм вычисления диапазонов значений переменных-указателей.

На основе разработанных алгоритмов реализован комплекс инструментальных средств статического анализа программ.