http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM23Lawall 2026-04-05T19:51:44Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M23Lawall&diff=2543&oldid=prev 2024-03-10T08:34:21Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 10:34, 10 March 2024</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Towards Verification of Linux Kernel Code</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Towards Verification of Linux Kernel Code</div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Julia Lawall, Inria</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Julia Lawall, Inria</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> </table>

Julia http://mw.hh.se/wg211/index.php?title=WG211/M23Lawall&diff=2542&oldid=prev 2024-03-10T08:34:06Z

<p>Created page with &quot;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...&quot;</p> <p><b>New page</b></p><div>Towards Verification of Linux Kernel Code<br /> Julia Lawall, Inria<br /> <br /> 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.<br /> <br /> This is work in progress.<br /> <br /> This is joint work with Keisuke Nishimura.</div>

Julia