Новости
23.04.2012: Анонсированы участники Google Summer of Code 2012
Опубликовано admin в Пнд, 23/04/2012 - 20:21Google Open Source Programs Office опубликовал список студенческих проектов, отобранных для участия в программе Google Summer of Code 2012 (GSoC-2012). В рамках этой программы компания Google финансирует работу студентов над различными проектами по разработке свободного программного обеспечения. В этом студентам на добровольных началах помогают менторы из участников, соответствующих проектов.
29.03.2012: Успех BLAST 2.7 на международных соревнованиях по верификации программ
Опубликовано admin в ПТ, 20/04/2012 - 06:54На Первых международных соревнованиях по верификации программ прошедших в рамках конференции TACAS 2012 в Таллине, Эстония разработчикам инструмента статической верификации Си программ BLAST 2.7 была вручена почетная табличка за победу в категории DeviceDrivers64. Также инструмент занял третье место в категории DeviceDrivers. Детальные результаты соревнований можно посмотреть здесь.
24.02.2012: Центр верификации на Embedded World 2012
Опубликовано admin в ПТ, 24/02/2012 - 13:46Центр верификации ОС Linux будет представлен в рамках стенда Open Source Automation Development Lab на выставке Embedded World 2012, которая пройдет с 28 февраля по 1 марта 2012 года в городе Нюрнберг, Германия. Приглашаем всех посетить стенд 341 в павильоне № 5.
Также в рамках параллельно проходящей конференции Алексей Хорошилов представит 1 марта доклад "Опыт применения тяжеловесных инструментов верификации для анализа исходного кода драйверов ОС Linux".
17.02.2012: Совместный семинар Центра верификации и Университета Пассау
Опубликовано admin в ПТ, 17/02/2012 - 19:30С 13 по 17 февраля 2012 года в городе Пассау, Германия, прошел совместный семинар Центра верификации ОС Linux и кафедры программных систем Университета Пассау, посвященный вопросам совместного развития инструмента статической верификации CPAchecker и его использования в проекте верификации драйверов ОС Linux.
31.10.2011: Центр верификации на LinuxCon Europe 2011
Опубликовано admin в Пнд, 23/01/2012 - 11:40Сотрудники Центра верификации ОС Linux Евгений Шатохин и Алексей Хорошилов представили на конференции LinuxCon Europe 2011, проходившей с 26 по 28 октября 2011 года в городе Прага, Чехия, текущие достижения проектов по улучшению качества модулей ядра ОС Linux, ведущихся в Центре верификации.
24.10.2011: Центр верификации на SofTool 2011
Опубликовано admin в Пнд, 23/01/2012 - 11:38Центр верификации ОС Linux приглашает всех заинтересованых лиц посетить наш стенд на выставке SofTool 2011, которая пройдет 25-28 октября 2011 года в 69 павильоне ВВЦ. Наши разработки будут представлены в рамках объединенной экспозиции Российской Академии Наук на стенде E47.
14.10.2011: Вышла версия 2.7 инструмента верификации BLAST
Опубликовано admin в Пнд, 23/01/2012 - 11:31Центр верификации Linux опубликовал новую версию свободного инструмента верификации BLAST 2.7, который автоматически анализирует Си-программы на предмет нарушения заданных правил корректности посредством реализации метода итеративного уточнения абстракции программы на основе контр-примеров CEGAR.
16.09.2011: Вышла версия 2.6 инструмента верификации BLAST
Опубликовано admin в Пнд, 23/01/2012 - 08:29Центр верификации Linux опубликовал новую версию свободного инструмента верификации BLAST 2.6, который автоматически анализирует Си-программы на предмет нарушения заданных правил корректности посредством реализации метода итеративного уточнения абстракции программы на основе контр-примеров CEGAR.
17-06-2011: Вышла версия 0.3 системы KEDR
Опубликовано admin в Пнд, 12/09/2011 - 11:19Выпущена версия 0.3 системы KEDR, предназначенной для runtime-анализа модулей ядра Linux, в том числе драйверов устройств, модулей файловых систем и т.д. Инструменты из состава KEDR работают с модулем ядра, выбранным пользователем. Они позволяют отслеживать вызовы функций данным модулем и сохранять информацию о них в файле ("трасса вызовов"), имитировать нехватку системных ресурсов, выявлять утечки памяти.
Наиболее важные изменения в этой версии (подробная информация - в ChangeLog):
02-03-2011: Вышла версия 0.2 системы KEDR
Опубликовано admin в Пнд, 12/09/2011 - 11:17Выпущена версия 0.2 системы KEDR, предназначенной для runtime-анализа модулей ядра Linux, в том числе драйверов устройств, модулей файловых систем и т.д. Инструменты из состава KEDR позволяют отслеживать вызовы функций из модуля, выбранного пользователем, и сохранять информацию о них в файле ("трасса вызовов"), имитировать нехватку системных ресурсов, выявлять утечки памяти.
В версии 0.2 несколько компонентов KEDR были переработаны, а также были исправлены различные ошибки.