15.06.2018: В Москве пройдет международный семинар CPA&LDV Workshop 2018

Опубликовано Vadim Mutilin в ПТ, 15/06/2018 - 11:56

Совместный третий международный семинар по инструменту CPAchecker (CPA) и восьмой семинар по верификации драйверов ОС Linux (LDV) состоится 25-26 сентябре в г.Москва, Россия.

Цель семинара состоит в обмене опытом между исследователями и практиками, работающими в области верификации индустриального программного обеспечения на языке программировния Си на предмет выполнения функциональных свойств и свойств безопасности, заинтересованными в использовании открытого инструмента верификации CPAchecker. Презентации на семинаре включают особенности верификации индустриального программного обеспечения на языке программирования Си, обмен опытом, новые концепции и алгоритмы в инструменте CPAchecker, дискуссии и направления дальнейшего развития.

В этом году организатором семинара выступает Институт системного программирования им. В.П. Иванникова РАН.
Детальное описание доступно странице мероприятия.