07-Oct-2012: Program published for Linux Driver Verification Workshop

Preliminary program of Linux Driver Verification Workshop that will be held on the 15th of October 2012 in Amirandes, Heraclion, Crete is published at ISoLa website. Here it is:

09:00 - 10:30 Session 1, Chair: D. Beyer
   Linux Device-Drivers Verification Challenges

A. Khoroshilov, V. Mutilin, E. Novikov
   BDD-Based Software Model Checking with CPAchecker
A. Stahlbauer
   Pointer Analysis with Uninterpreted Functions
M. Mandrykin
11:00 - 12:30 Session 2, Chair: A. Petrenko
   Using Aspect-Oriented Programming for Preparing C Programs for Static Verification
E. Novikov
   Conditional Model Checking and Applications to Driver Verification
D. Beyer
   On Our Way to Apply Model Checking on the Kernel
A. Lissy
15:00 - 16:30 Session 3, Chair: A. Khoroshilov
   Coccinelle: Theory and Practice
J. Lawall
   Explicit-Value Analysis based on CEGAR and Interpolation
S. Löwe
   Verification of Linux Device-Driver Code - The unsigned int Case
M. Rathgeber, C. Zengler, W. Küchlin
17:00 - 18:30 Session 4, Chairs: D. Beyer and A. Petrenko
   Discussion of Future Directions in Working Groups
   Summary Presentation
   Closing Remarks