27-Sep-2016: 6th Linux Driver Verification Workshop took place in Passau
6th Linux Driver Verification Workshop was held in Passau, Germany on September 22-23 colocated with 1st International Workshop on CPAchecker.
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.
The talks were given by team of Linux Verification Center, ISPRAS (Russia), LMU Munich, University of Passau, University of Paderborn, Hamburg University of Technology, Siemens (Germany), VERIMAG (France). The program of the workshop and descriptions of talks are available here.