- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Исследовательский центр доверенного искусственного интеллекта
- Центр компетенции по параллельным и распределенным вычислениям
- Образование
- Издания
- Новости
- Лицензии
Новости ИСП РАН
- Проекты
- Инновации
- Публикации
- Интеллектуальная собственность
- Противодействие коррупции
- Курсы
- Семинары
- Мероприятия
- Партнёры
- Официальные документы
- СМИ об ИСП РАН
- Вакансии
- Контакты
Новости
28 Октября, 2025
Конкурс на замещение должности
23 Октября, 2025
Конкурс на замещение должности
17 Октября, 2025
Конкурс на замещение должности
Новости ИСП РАН
11 Апреля, 2016
BLAST 2.7.3 на SV-COMP'2016
BLAST 2.7.3 был представлен на пятых международных соревнованиях по верификации программ, которые прошли в рамках конференции TACAS 2016 в Эйндховене, Нидерланды. В этом году BLAST выиграл бронзу в категории DeviceDriversLinux64.
BLAST – это классический инструмент статической верификации программ, основанный на предикатных абстракциях и методе CEGAR. Он поддерживается ИСП РАН и активно используется в проекте Linux Driver Verification (LDV).
Более подробную информацию можно получить здесь.
На нашем сайте мы используем cookie файлы, содержащие информацию о предыдущих посещениях веб-сайта. Данные обрабатываются для улучшения качества работы нашего веб-сайта. Если вы не хотите использовать cookie файлы, измените настройки браузера.
Понятно