On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M23Lawall: Difference between revisions
From WG 2.11
Jump to navigationJump to search
Created page with "Towards Verification of Linux Kernel Code Julia Lawall, Inria There is a growing awareness that for critical infrastructure such as operating systems, more rigorous means of..." |
No edit summary |
||
| Line 1: | Line 1: | ||
Towards Verification of Linux Kernel Code | Towards Verification of Linux Kernel Code | ||
Julia Lawall, Inria | Julia Lawall, Inria | ||
Latest revision as of 10:34, 10 March 2024
Towards Verification of Linux Kernel Code
Julia Lawall, Inria
There is a growing awareness that for critical infrastructure such as operating systems, more rigorous means of ensuring correctness are needed. Most previous efforts at operating system verification have considered operating systems for embedded systems, have created some form of model of the operating system code, or have designed the operating system from the ground up with verification in mind. In this talk we consider whether we can apply verification directly to the existing Linux kernel source code.
This is work in progress.
This is joint work with Keisuke Nishimura.
