Новости

02.10.2015: 10 лет Центра верификации ОС Linux.

22 октября 2015 года в 18.00 в Цетре Digital October в рамках конференции "Разработка ПО" CEE-SEC(R) состоится круглый стол "10 лет Центра верификации ОС Linux. Верификация реального ПО – мечта или реальность?"

23.09.2015: В Москве состоялся пятый Linux Driver Verification Workshop

15-18 сентября 2015 года в Москве состоялся пятый международный семинар Linux Driver Verification посвященный десятой годовщине Центра Верификации ОС Linux. Семинар был организован проф. Александром Петренко (Центр верификации ОС Linux, ИСП РАН, Москва, Россия) и проф. Дирком Бейером (Dirk Beyer, Университет г. Пассау, Германия).

13.05.2015: Выпущен инструментарий LDV Tools 0.8

Наиболее важные изменения, которые вошли в LDV Tools 0.8:

  • Инструмент верификации CPAchecker обновлен до новой версии 1.4 (r14998).
  • Инструментарий LDV Tools теперь доступен в виде контейнеров платформы виртуализации Docker, благодаря этому, теперь не требуется установка всех зависимостей на ваш компьютер.
  • Улучшения в 13 существующих спецификациях правил:

20.04.2015: BLAST 2.7.3 на SV-COMP'2015

BLAST 2.7.3 был представлен на четвертых международных соревнованиях по верификации программ, которые прошли в рамках конференции TACAS 2015 в Лондоне, Великобритания. В этом году BLAST выиграл золото в категории DeviceDrivers64.

18.02.2015: Первый публичный выпуск Astraver Toolset

Состоялся первый публичный выпуск системы верификации Astraver Toolset 1.0, построенной на базе набора инструментов дедуктивной верификации 'Frama-C + Jessie + Why3 IDE'. Инструменты были адаптированы для спецификации и доказательства свойств в коде ядра ОС Linux.

16.01.2015: Выпущен инструментарий LDV Tools 0.7

В LDV Tools 0.7 вошло достаточно большое количество улучшений и исправлений ошибок:

27.08.2014: Выпущен инструментарий LDV Tools 0.6

Наиболее важные изменения, которые вошли в LDV Tools 0.6:

24.06.2014: Команда LDV представила доклад на международной конференции PSI'2014

Член команды LDV, Илья Захаров, представил доклад “Modeling Environment for Static Verification of Linux Kernel Modules” на 9-ой международной Ершовской конференции по информатике. В докладе представлены результаты совместных иссследований с Алексеем Хорошиловым, Вадимом Мутилиным и Евгением Новиковым, посвященных моделированию окружения модулей ядра ОС Linux с целью статической верификации, используя современные инструменты верификации программного обеспечения на основе проверки моделей.

29.04.2014: Linux Driver Verification был представлен на Дагштульском семинаре

21-25 апереля 2014 года члены команды Linux Driver Verification Алексей Хорошилов и Вадим Мутилин приняли участие в семинаре Evaluating Software Verification Systems: Benchmarks and Competitions в городе Дагштуль.

17.04.2014: BLAST 2.7.2 на SV-COMP'2014 и результаты экспериментов

BLAST 2.7.2 был представлен на третьих международных соревнованиях по верификации программ, которые прошли в рамках конференции TACAS 2014 в Гренобле, Франция. В этом году BLAST выиграл золото в категории DeviceDrivers64.

BLAST 2.7.2 at SV-COMP'2014