FOSDEM is the biggest free and non-commercial event organized by and for the community. Its goal is to provide Free and Open Source developers a place to meet. No registration necessary.

Alexandre Lissy
Day Saturday
Room H.1308
Capacity 150
Start time 16:30
End time 17:00
Duration 00:30
Track CrossDistro devroom

Model Checking the Linux Kernel ?

Linux Kernel evolves rapidly and, as every software, is subject to bugs.

Some people are trying to find defects in the code by searching for known patterns and known misuse, documented either as part of the kernel API usage or after bugs being known. At Mandriva, and as foundation of my PhD subject, we want to explore another way which is well-known but complex: Model-Checking. Main goal of this talk will be to introduce the subject and present the state of the art around kernel code checking.