CPA&LDV Workshop 2018

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

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

Полное описание доступно на данной странице.