17.02.2012: Совместный семинар Центра верификации и Университета Пассау

Опубликовано admin в ПТ, 17/02/2012 - 19:30

С 13 по 17 февраля 2012 года в городе Пассау, Германия, прошел совместный семинар Центра верификации ОС Linux и кафедры программных систем Университета Пассау, посвященный вопросам совместного развития инструмента статической верификации CPAchecker и его использования в проекте верификации драйверов ОС Linux.

В рамках семинара профессор, доктор наук Дирк Бейер (Prof. Dr. Dirk Beyer) и его группа представили архитектуру и особенности реализации инструмента CPAchecker, который показал лучшие результаты по итогам международных соревнований SV-COMP 2012. Специалисты Центра верификации доложили о результатах использования CPAchecker в проекте верификации драйверов ОС Linux и особенностях верификации кода ядра операционных систем. По результатам обсуждений были выработаны дальнейшие планы по совместному развитию CPAchecker.