Новости ИСП РАН

Новости

12 Апреля, 2024 Защита диссертаций

15 Марта, 2024 Сегодня стартовали выборы Президента России

13 Марта, 2024 Участники Альянса в сфере ИИ подписали декларацию об ответственном генеративном ИИ

Новости ИСП РАН

11 Апреля, 2016

BLAST 2.7.3 на SV-COMP'2016

BLAST 2.7.3 был представлен на пятых международных соревнованиях по верификации программ, которые прошли в рамках конференции TACAS 2016 в Эйндховене, Нидерланды. В этом году BLAST выиграл бронзу в категории DeviceDriversLinux64.

BLAST – это классический инструмент статической верификации программ, основанный на предикатных абстракциях и методе CEGAR. Он поддерживается ИСП РАН и активно используется в проекте Linux Driver Verification (LDV).

Более подробную информацию можно получить здесь.

Все новости