Лаборатория верификации и анализа программ

HoarFrost — это инструмент, помогающий переносить код из одной библиотеки в другую.

Основная цель проекта LibraryMigration — продемонстрировать возможность автоматической миграции объектно-ориентированного кода на новый набор библиотек. Проект состоит из метода миграции и инструмента HoarFrost, который действует как прототип реализации метода. В основе метода миграции лежит формализм, созданный авторами для описания семантики библиотек. Формализм определяет поведение библиотеки с помощью системы расширенных конечных автоматов (EFSM).

В настоящее время данный метод и инструмент позволяют успешно переносить несколько реальных проектов с открытым исходным кодом.