07-Oct-2012: Program published for Linux Driver Verification Workshop
Submitted by admin on Sun, 07/10/2012 - 20:15
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 | |