[ldv-project] Linux Driver Verification Workshop 2012 program

[Alexey Khoroshilov]

Preliminary program of Linux Driver Verification Workshop that will be
held on the 15th of October 2012 in Amirandes, Heraclion, Crete is
published [1]:

*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. Lo"we
   	/Verification of Linux Device-Driver Code - The unsigned int Case/
M. Rathgeber, C. Zengler, W. Ku"chlin
*17:00 - 18:30 Session 4, Chairs: D. Beyer and A. Petrenko*
   	/Discussion of Future Directions in Working Groups/
   	/Summary Presentation/
   	/Closing Remarks/


[1] http://linuxtesting.org/07-10-2012
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://linuxtesting.org/pipermail/ldv-project/attachments/20121010/721f920a/attachment.html>