15-Jun-2018: CPA&LDV Workshop 2018 will take place in Moscow

Submitted by Vadim Mutilin on Fri, 15/06/2018 - 11:50

The joint 3rd International Workshop on CPAchecker (CPA) and 8th Linux Driver Verification (LDV) Workshop
will take place on September 25-26, 2018 in Moscow, Russia.

The goal of the workshop is to bring together researchers and practitioners that work in the area of functional, safety, and security verification of real-life software written in C and that are interested in the open-source verification framework CPAchecker. The presentations at the workshop include specifics of real-world verification of C programs, experience reports, new concepts and algorithms in CPAchecker, and discussion on further directions.

This year the workshop is organized by the Ivannikov Institute for System Programming Russian Academy of Sciences. See details on the event page.