Новости
20.04.2015: BLAST 2.7.3 на SV-COMP'2015
Опубликовано Vadim Mutilin в Пнд, 20/04/2015 - 16:10BLAST 2.7.3 был представлен на четвертых международных соревнованиях по верификации программ, которые прошли в рамках конференции TACAS 2015 в Лондоне, Великобритания. В этом году BLAST выиграл золото в категории DeviceDrivers64.
18.02.2015: Первый публичный выпуск Astraver Toolset
Опубликовано Mikhail Mandrykin в Втр, 10/03/2015 - 09:0016.01.2015: Выпущен инструментарий LDV Tools 0.7
Опубликовано admin в ПТ, 16/01/2015 - 06:33В LDV Tools 0.7 вошло достаточно большое количество улучшений и исправлений ошибок:
- Поддержка совместимости с ядром Linux версий 3.17-3.19.
- Улучшения в 12 существующих спецификациях правил:
27.08.2014: Выпущен инструментарий LDV Tools 0.6
Опубликовано admin в СР, 27/08/2014 - 13:35Наиболее важные изменения, которые вошли в LDV Tools 0.6:
- Поддержка совместимости с ядром ОС Linux версий 3.14-3.16.
- Улучшения в 5 существующих спецификациях правил:
24.06.2014: Команда LDV представила доклад на международной конференции PSI'2014
Опубликовано admin в ПТ, 27/06/2014 - 13:17Член команды LDV, Илья Захаров, представил доклад “Modeling Environment for Static Verification of Linux Kernel Modules” на 9-ой международной Ершовской конференции по информатике. В докладе представлены результаты совместных иссследований с Алексеем Хорошиловым, Вадимом Мутилиным и Евгением Новиковым, посвященных моделированию окружения модулей ядра ОС Linux с целью статической верификации, используя современные инструменты верификации программного обеспечения на основе проверки моделей.
29.04.2014: Linux Driver Verification был представлен на Дагштульском семинаре
Опубликовано admin в Втр, 29/04/2014 - 16:1921-25 апереля 2014 года члены команды Linux Driver Verification Алексей Хорошилов и Вадим Мутилин приняли участие в семинаре Evaluating Software Verification Systems: Benchmarks and Competitions в городе Дагштуль.
17.04.2014: BLAST 2.7.2 на SV-COMP'2014 и результаты экспериментов
Опубликовано admin в ЧТ, 17/04/2014 - 13:17BLAST 2.7.2 был представлен на третьих международных соревнованиях по верификации программ, которые прошли в рамках конференции TACAS 2014 в Гренобле, Франция. В этом году BLAST выиграл золото в категории DeviceDrivers64.
14.04.2014: В Пассау состоялся четвертый Linux Driver Verification Workshop
Опубликовано admin в Пнд, 14/04/2014 - 06:112-4 апреля 2014 года состоялся четвертый международный семинар Linux Driver Verification в Пассау, Германия. Семинар был организован проф. Александром Петренко (Центр верификации ОС Linux, ИСП РАН, Москва, Россия) и проф. Дирком Бейером (Dirk Beyer, Университет г. Пассау, Германия).
10.03.2014: Центр верификации Linux на Embedded World 2014
Опубликовано admin в ВС, 09/03/2014 - 20:13Представители нашей команды Вадим Мутилин и Евгений Новиков приняли участие в выставке Embedded World 2014 в рамках стенда Open Source Automation Development Lab. Выставка проходила с 25 по 27 февраля 2014 года в городе Нюрнберг, Германия.
20.02.2014: Выпущен инструментарий LDV Tools 0.5
Опубликовано admin в ЧТ, 20/02/2014 - 08:07Наиболее значимым изменением в данном релизе является новый менеджер ресурсов, который предназначен для ограничения и подсчета ресурсов, потребляемых инструментами верификации. Новый менеджер ресурсов использует контрольные группы Linux, что позволяет выполнять очень точные измерения без заметных накладных расходов. Также релиз содержит следующие важные изменения: