07.10.2012: Опубликована программа Linux Driver Verification Workshop

Опубликовано admin в ВС, 07/10/2012 - 20:40

Опубликован предварительный вариант программы Linux Driver Verification Workshop, который пройдёт 15 октября 2012 года в рамках 5-го международного симпозиума по внедрению формальных методов, верификации и валидации (ISoLA-2012).

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