Verifications around the Linux Kernel - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Verifications around the Linux Kernel

Résumé

In this paper, we will present the current state of the art around the topic of verifying the Linux Kernel. However, we do not limit ourselves to only the Linux Kernel, but we also studied what has been done around other kernel, such as some work around OpenBSD, work from Microsoft, or work around the L4 Micro Kernel. We will talk about model checking techniques, bug-finding techniques, bug life tracking tools, and present some classification of the current state of the art to be able to have a clear view of what has been done, why, what has not been done, why, and what could be done and how. We will also study a specfic case of hand-done model checking of a small part of the Linux Kernel.
Fichier non déposé

Dates et versions

hal-01025772 , version 1 (18-07-2014)

Identifiants

  • HAL Id : hal-01025772 , version 1

Citer

Alexandre Lissy, Patrick Martineau. Verifications around the Linux Kernel. 13th Linux Symposium, Jun 2011, Ottawa, Canada. ⟨hal-01025772⟩
108 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More